Expand description
This crate provides snark_relation
procedural macro for concise defining SNARK relations.
For details, check snark_relation
attribute documentation.
Attribute Macrosยง
- snark_
relation - Given minimal relation definition, this macro will generate all the required code for creating and casting partial relation objects, public input serialization and circuit generation.