we need to get rid of the pvss terminology and just make it live inside DKG & Threshold. Indeed, our circuits must be treated as zk circuits, that's it, regardless of what we use inside them (e.g., Schwartz-Zippel, PVSS, TrBFV ...).
we can make three new submodules under zk-helpers and call them witness-generator (mostly computation), circuit-registry, and cli
the registry should be used as gateway to distribute circuits, we can extend the witness generator with proof computation and verification and more.
partially related to what you are working on @hmzakhalid @ctrlc03
--
it would be awesome to merge #1244 and #1231 first, then this, then update #1243
we need to get rid of the
pvssterminology and just make it live inside DKG & Threshold. Indeed, our circuits must be treated as zk circuits, that's it, regardless of what we use inside them (e.g., Schwartz-Zippel, PVSS, TrBFV ...).we can make three new submodules under
zk-helpersand call themwitness-generator(mostly computation),circuit-registry, andclithe registry should be used as gateway to distribute circuits, we can extend the witness generator with proof computation and verification and more.
partially related to what you are working on @hmzakhalid @ctrlc03
--
it would be awesome to merge #1244 and #1231 first, then this, then update #1243