Ledger-based system in which transactions attest to offline computations while simultaneously providing privacy and succinctness.
Ledger-based system in which transactions attest to offline computations while simultaneously providing privacy and succinctness.