Accumulation Schemes

ark-accumulation is a Rust library that provides infrastructure for implementing
accumulation schemes. This library was developed as part of the
Proof-Carrying Data without Succinct Arguments paper, and is released under the MIT License
and the Apache v2 License (see License).

WARNING: This is an academic prototype, and in particular has not received careful code review.
This implementation is NOT ready for production use.

Overview

An accumulation scheme for a predicate is a cryptographic primitive that allows an accumulation
prover to receive a stream of inputs and accumulate them into an object called an accumulator.
Given the inputs and outputs of the prover, an accumulation verifier can verify that the set of
inputs was properly accumulated. At any time, an accumulation decider can use a single accumulator
to determine whether all the previously accumulated inputs satisfy the predicate.

This library provides the following features that enable specific implementations of accumulation
schemes:

hp-as: An accumulation scheme for Hadamard Products
ipa-pc-as: An accumulation scheme for the polynomial commitment scheme based on
Inner Product Arguments (as implemented in the
poly-commit library)
r1cs-nark-as: An accumulation scheme for a NARK for R1CS (as
implemented in this library)
trivial-pc-as: An accumulation scheme for the trivial polynomial commitment
scheme (as implemented in the
poly-commit library)

Build guide

The library compiles on the stable toolchain of the Rust compiler. To install the latest version
of Rust, first install rustup by following the instructions here, or via
your platform’s package manager. Once rustup is installed, install the Rust toolchain by invoking:

rustup install stable

After that, use cargo (the standard Rust build tool) to build the library:

git clone https://github.com/arkworks-rs/accumulation.git
cd accumulation
cargo build --release

This library comes with some unit and integration tests. Run these tests with:

cargo test

License

This library is licensed under either of the following licenses, at your discretion.

Unless you explicitly state otherwise, any contribution that you submit to this library shall be
dual licensed as above (as defined in the Apache v2 License), without any additional terms or
conditions.

Reference papers

Proof-Carrying Data from Accumulation Schemes
Benedikt Bünz, Alessandro Chiesa, Pratyush Mishra,
Nicholas Spooner

Proof-Carrying Data without Succinct Arguments
Benedikt Bünz, Alessandro Chiesa, William Lin,
Pratyush Mishra, Nicholas Spooner