verifier

Documentation

Overview

package verifier provides functions to generate verifier smart contracts for plonk based circuits.

The generated smart contract verifiers are ARC4 contracts with the following ABI methods:

`create` is used to create the application and will set two global properties, - `app_name` with the provided name - `immutable` with `false`

@abimethod(create='require')
def create(self, name: String) -> None:

`update` allows the creator to update / delete the application unless the `immutable` property has been set to `true`

@abimethod(allow_actions=["UpdateApplication", "DeleteApplication"])
def update(self) -> None:

`make_immutable` allows the creator to set the `immutable` property to `true`, making the contract fully decentralized with no one able to further modify or delete it.

@abimethod
def make_immutable(self) -> None:

`verify` takes as parameters a proof and public inputs as exported by AlgoPlonk and returns `True` if the proof is verifier, `False` otherwise

@abimethod
def verify(self, proof: ..., public_inputs: ...) -> arc4.Bool:

Index

• Constants
• func WritePuyaPy(vk plonk.VerifyingKey, w io.Writer) error

Constants

const VerifierContractName = "Verifier"

VerifierContractName is the name of the verifier contract. Puyapy will output files starting with this name.

Functions

func WritePuyaPy

func WritePuyaPy(vk plonk.VerifyingKey, w io.Writer) error

WritePuyapy generates the python code for a verifier contract based on the provided verifying key and writes it to the provided writer. The python code can by compiled to a smart contract using the PuyaPy compiler.