Do the opened columns have to be distinct?

NP-Eng / ligero

Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.

Apache License 2.0

2 stars 1 forks source link

Do the opened columns have to be distinct? #21

Open Antonio95 opened 1 month ago

Antonio95 commented 1 month ago

We should think/ask whether the columns opened in the three sub-protocols need to be different. Opening the same columns would slightly improve performance (also on the verifier end, since fewer Merkle proofs would have to be verified).