search

privacy-scaling-explorations / chiquito

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

Investigate how to compile chiquito style State machine to CCS #207

Open leolara opened 7 months ago

leolara commented 7 months ago

We should see by hand an example of how converting a simple state machine to CCS.

10to4 commented 1 month ago

PR in https://github.com/privacy-scaling-explorations/chiquito/pull/281