search

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits
https://docs.pecadorplonkish.xyz/
186 stars 39 forks source link

Implement lexer/parser for hyper transition #290

Closed leolara closed 1 month ago

leolara commented 1 month ago

Having this syntax:

fc', fd' <== mB(fa, fb) --> other;

In the AST, this is represented with a new Enum variant at the same level of transition. This is: Statement::HyperTransition. Probably in the AST we will need a Expression::Call

alxkzmn commented 1 month ago

@leolara should we also implement this variant right away?

    -> other {
           fc', fd' <== mB(fa, fb);
    }