search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
496 stars 74 forks source link

create a test to serialize protocol circuits as well #777

Closed o1-david closed 1 year ago

o1-david commented 1 year ago

@mrmr1993 add pointers to the circuits here?

mrmr1993 commented 1 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[bot] commented 1 year ago

Stale issue message