On Proving Pairings: Verification is Cheaper than Computation - Liam Eagen (Alpen)
DBA · 17:26
The talk's main point is that blockchains and SNARKs only need to *verify* that a computation happened, and verifying is often far cheaper than running it. Liam (Alpen Labs) shows this with joint work with Andrija Nov...