- input blowup and gas
- challenges come as circuit inputs
- inputs need to be generated for verification
- cost increasement is 8x
- cost is encding challenges in group/field of the snark
- Snarkpack how do you pass public inputs?
- 34M gas for current verification of provecommit ⇒ probably changing tom 42M (10 single proofs)
- batch balancer is 5% of 50M gas (2.5M)
- Aggregating 80 proofs w/ Snarkpack
- Verification of aggregation of 8 proofs is 114M
- Verification of aggregation of 6 sectors of them (6*8*10) gives you a cost of 26M gas per sector
- Current proofs, aggregating 6 sectors (6*10 proofs) gives you 17M gas per sector (without batch balancer)
- Aggregation code today is way more expensive due to activation. Being fixed in direct data onboarding
- (almost) nobody is using snarkpack. Only CC if it happens, and very rare.
- Currently maximum num,ber of aggragatable sectos is 819 (819*10 proofs)
- Batch balancer at most 2x the cost (approx)
- proving overhead (~ done, snarkpack need to be investigated more)
- PreCommit gas: see starboard ~53M
- Asymptotically we are looking at something like 8M gas more per sector for doing NI PoRep rather than normal sectors (ju8st prove verication)