4 ms·
It's called a zkSNARK. One proves they performed any computation with a constant size proof of the result.
by jasonzemos 8y ago
It's called a zkSNARK. One proves they performed any computation with a constant size proof of the result.
- solveit 8y agoBut most of the energy consumption is in the work, not the proof.
- klyrs 8y agoConstant size or constant time?
- rocqua 8y agoBoth, but 'constant' here needs some qualification. Generally, it is 'constant' w.r.t. the witness you are proving you know, and something like logarithmic w.r.t. the statement about that witness you are proving.
- dlubarov 8y agoEthereum could use SNARKs to verify certain computations more efficiently, but the purpose of PoW miners isn't really to verify computations, it's to make a 51% attack expensive. CODA protocol uses SNARKs to verify the entire blockchain history, but they still need miners for consensus.