apk-proofs icon indicating copy to clipboard operation
apk-proofs copied to clipboard

Published 20 hours ago • verified publisher icon w3f

Remove bitmask polynomial commitment/evaluation

Open swasilyev opened this issue 4 years ago • 3 comments

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

swasilyev avatar Apr 15 '21 13:04 swasilyev

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

swasilyev avatar May 09 '21 06:05 swasilyev

Really?

burdges avatar May 09 '21 09:05 burdges

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

swasilyev avatar May 11 '21 04:05 swasilyev