search

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

Example fix #161

Closed simonmasson closed 2 years ago

simonmasson commented 2 years ago

In the example, the range_gate is used in the wrong way: it checks that the witness < 2^num_bits. In the example, we actually check that 5 < 2^(2^5) which is confusing.

simonmasson commented 2 years ago

@lopeetall @LukePearson1 can you review this PR? I don't know how to add reviewers...