testutils

Documentation

Overview

package tests contains tests and test helper functions To run the tests, a local network with default configuration is expected to be running. You can use algokit to start one with `algokit localnet start` Custom configuration can be set by changing the exposed variables at the top of the algosdkwrapper/setup.go file.

Index

• func CallLogicSigVerifier(appId uint64, schema *sdk.Arc32Schema, lsig *crypto.LogicSigAccount, ...) error
• func CallVerifyMethod(appId uint64, proofFilename string, publicInputsFilename string, ...) (*transaction.ABIMethodResult, error)
• func CreateDirectoryIfNeeded(dir string) error
• func DeployAppWithVerifyMethod(workingDir string) (appId uint64, schema *sdk.Arc32Schema, err error)
• func TestCircuitWithGnark(circuit frontend.Circuit, assignment frontend.Circuit, curve ecc.ID) (*ap.CompiledCircuit, *ap.VerifiedProof, error)

Functions

func CallLogicSigVerifier

func CallLogicSigVerifier(appId uint64, schema *sdk.Arc32Schema,
	lsig *crypto.LogicSigAccount, proof []byte, publicInputs []byte, simulate bool,
) error

CallLogicSigVerifier makes an app call to appId's "verify" method signed by lsig with proof and public inputs as arguments, bundled in a transaction group to pool size and opcode budget. If simulate is true, it simulates the group instead of sending it. A local network must be running with default parameters

func CallVerifyMethod

func CallVerifyMethod(appId uint64, proofFilename string, publicInputsFilename string,
	schema *sdk.Arc32Schema, simulate bool) (
	*transaction.ABIMethodResult, error)

CallVerifyMethod calls a verifier smart contract with the given proof and public inputs from file. If simulate is true, it simulates the call instead of sending it, adding the maximum extra opcode budget. A local network must be running

func CreateDirectoryIfNeeded

func CreateDirectoryIfNeeded(dir string) error

CreateDirectoryIfNeeded creates `dir` if it does not exist

func DeployAppWithVerifyMethod

func DeployAppWithVerifyMethod(workingDir string,
) (appId uint64, schema *sdk.Arc32Schema, err error)

DeployAppWithVerifyMethod deploys an app with a "verify" method to test logicsig verifiers. A local network must be running with default parameters

func TestCircuitWithGnark

func TestCircuitWithGnark(circuit frontend.Circuit, assignment frontend.Circuit,
	curve ecc.ID) (*ap.CompiledCircuit, *ap.VerifiedProof, error)

TestCircuitWithGnark compiles a circuit and verifies a proof from an assignment using gnark (no interaction with the AVM)