o1-labs / snarky

OCaml DSL for verifiable computation

create a test to serialize protocol circuits as well

o1-david opened this issue a year ago · comments

o1-david commented a year ago

o1-david commented a year ago

@mrmr1993 add pointers to the circuits here?

Matthew Ryan commented a year ago

Blockchain snark rules: https://github.com/MinaProtocol/mina/blob/8765422cf251dfa4e36a0dcdab9f98dc03ed200a/src/lib/blockchain_snark/blockchain_snark_state.ml#L442
Transaction snark rules: https://github.com/MinaProtocol/mina/blob/8765422cf251dfa4e36a0dcdab9f98dc03ed200a/src/lib/transaction_snark/transaction_snark.ml#L3468

Probably best to expose the circuits that pickles generates by adding a helper to the values returned by Pickles.compile

github-actions commented a year ago

Stale issue message