feat: Add the shamir flag in co-circom which allows to translate a REP3 witness to Shamir and use Shamir secret sharing for proving

TaceoLabs / co-snarks

Tooling for creating collaborative SNARKs for Circom circuits.

https://docs.taceo.io

Apache License 2.0

91 stars 8 forks source link

feat: Add the shamir flag in co-circom which allows to translate a REP3 witness to Shamir and use Shamir secret sharing for proving #121

Closed rw0x0 closed 3 months ago

rw0x0 commented 3 months ago

Derzeit ist co-circom sehr hardcoded auf REP3. Schöner wäre in Zukunft wenn die Shamir flag nicht benötigt wird im prover, aber ein eigener Commnad zum translaten zur Verfügung steht. Dann kann man generel Shamir (zB für split witness und proving) auch verwenden.

rw0x0 commented 3 months ago

Working on a more generic version in feat/generic_co_circom if we want to have that instead

rw0x0 commented 3 months ago

We decide to go with the different route, thus close this pull requrest