search

o1-labs / snarky

OCaml DSL for verifiable computation
MIT License
492 stars 73 forks source link

Be aggressive about checking state consistency #842

Closed mrmr1993 closed 4 months ago

mrmr1993 commented 5 months ago

This PR adds IDs to the snarky run state, and uses them to check that the state wasn't clobbered by some concurrent circuit execution.