Skip to content

Implement Plonky3 AirBuilder main trace constraints code generation #450

Description

@adr1anh

In light of upcoming support for Plonk3, we should start implementing support for generating constraints using the AirBuilder interface. There are several examples in the plonky3 repository on how to implement it, such as keccak.

We should focus on outputting the main trace constraints before handling bus constraints in the auxiliary trace, though these should be easy to support once the main ones are handled.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Fields

    Priority

    None yet

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions