Accountable Distributed SNARKs Achieve Linear Scaling for Verifiable Computation
Cirrus introduces the first accountable, linear-time distributed SNARK prover, solving the scalability bottleneck for ubiquitous verifiable computation.
