search

w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Remove bitmask polynomial commitment/evaluation #19

Open swasilyev opened 3 years ago

swasilyev commented 3 years ago

...from the proof for the "non-packed accountable" scheme.

swasilyev commented 3 years ago

Can also remove "bitmask booleanity" constraint from this scheme, but impact on either prover or verifier is likely negligible.

burdges commented 3 years ago

Really?

swasilyev commented 3 years ago

Really what? Verifier knows the bitmask. It's booleanity can be assured by Rust type system.