In a zk-rollup architecture, what is the primary role of the zero-knowledge proof submitted to the L1 blockchain?
10pts
Which property is most directly responsible for a zk-SNARK verifier being efficient on-chain?
10pts
What is a major trade-off commonly associated with zk-SNARK systems compared with zk-STARK systems?
10pts
Why are arithmetization techniques such as R1CS or PLONK-style constraint systems important in zero-knowledge proof systems?
10pts
In blockchain scalability discussions, what is the main reason validity proofs can outperform fraud-proof-based approaches in finality time?
10pts