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.
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 thepoly-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 thepoly-commit
library)
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
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.
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