search

filecoin-project / orient

↻Observe-Orient-Decide-Act↩
MIT License
18 stars 6 forks source link

Add AGGSNARK calculations #17

Closed porcuquine closed 4 years ago

porcuquine commented 5 years ago

https://github.com/filecoin-project/research/issues/145

In particular, we need to know the relationship between total number of challenges and size of the circuit parameters.

In conjunction with #16, ensure that any AGGSNARK candidate meets max circuit-proving-parameters size requirements.

Conversely, use these calculations to inform recommendation for concrete value for #16.

porcuquine commented 5 years ago

cc: @arielgabizon

porcuquine commented 4 years ago

Ubercalc now belongs in Filecoin spec.