search

sdiehl / bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
BSD 3-Clause "New" or "Revised" License
534 stars 44 forks source link

Allow client to accept a number of gates that is not a power of 2 #9

Closed Acentelles closed 6 years ago

Acentelles commented 6 years ago

This PR is more a suggestion than a firm decision. Here's a way to handle cases where the number of gates n is not a power of 2: We compute the proof with the inner product proof only in these specific cases. Otherwise, we save a longer proof with vectors l and r in it

Acentelles commented 6 years ago

Closing it as it's not a good solution... A better solution will come up soon