• 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)