Circuit and gadget hashing

ZK-Garage / plonk

A pure Rust PLONK implementation using arkworks as a backend.

https://discord.gg/XWJdhVf37F

Mozilla Public License 2.0

295 stars 76 forks source link

Circuit and gadget hashing #81

Open ghost opened 2 years ago

ghost commented 2 years ago

We should have some way of hashing circuits/constraint systems/gadgets/etc, and then when they stabilize, create tests to pin each to their exact instantiation to ensure any unintended changes are detectable.

markulf commented 2 years ago

Can some of this be done by implementing the Hash trait for StandardComposer?