In compiler add hyper transitions compilation constraints to the SBPIR in the lookup "target class"

privacy-scaling-explorations / chiquito

DSL for Halo2 circuits

https://docs.pecadorplonkish.xyz/

188 stars 39 forks source link

Closed leolara closed 2 weeks ago

leolara commented 2 months ago

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

machine mB(pa, pb) (pc, pd) {}

lookup((fa, pa), (fb, pb), (fc', pc)....

In the callee machine the inputs and the outputs are not going to be in the same row

Talk with Edu