Commit to public table too
Closed this issue · 2 comments
sga001 commented
This would make verifier cost sublinear in public table too. Verifier can compute commitment during setup / compilation.
Prover just needs to run Hyrax on it, same way as we do for private table. Here we just do it for the performance gains on the verifier, not for privacy.
sga001 commented
Although right now consistency proof is very cheap... so maybe we don't need this.