package algosdkwrapper provides utility functions to interact with an Algorand local network wrapping the go-algorand-sdk.

AbiEncodeProofAndPublicInputs encodes the []byte proof and public inputs into the ABI format expected by the verifiers.

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.

CallVerifyMethod calls a verifier smart contract with the given proof and public inputs from file.

CompileWithPuyaPy compiles `filepath` with puyapy, with `options'.

CreateDirectoryIfNeeded creates `dir` if it does not exist.

DeployAppWithVerifyMethod deploys an app with a "verify" method to test logicsig verifiers.

DeserializeCompiledCircuit deserializes a compiled circuit from file.

RandomBigInt returns a random big integer bigger than 1 of up to maxBits bits.

RenamePuyaPyOutput renames puyapy output files, e.g., 'oldname.approval.teal' is renamed to 'newname.approval.teal'.

SerializeCompiledCircuit serializes a compiled circuit to file.

ShouldRecompile returns true if sourcePath is more recent than outputPath or if it encounters an error.

Substitute replaces all instances of `mapping` keys with their values overwriting `filepath`.

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

CompiledCircuitBytes contains the compiled circuit pre-serialized to bytes.