QuantaStark measures the cost of post-quantum proofs on QRL

Field notes

The project compares proof presets by both complete transaction cost and gas consumed inside the verifier, rather than presenting a single headline benchmark. Its measurements cover 44 cells under three optimizer settings, while the accompanying notes identify transaction-pool size as a practical constraint: proofs above roughly 123 KB may require a raised limit or staged verification. The verifier and Rust prover are accompanied by recorded vectors and mutation tests.