https://github.com/arkworks-rs/ivls
Implementation of incrementally verifiable ledger system
https://github.com/arkworks-rs/ivls
blockchain cryptography ledger rust snark
Last synced: 4 months ago
JSON representation
Implementation of incrementally verifiable ledger system
- Host: GitHub
- URL: https://github.com/arkworks-rs/ivls
- Owner: arkworks-rs
- License: apache-2.0
- Created: 2020-09-07T19:58:21.000Z (about 5 years ago)
- Default Branch: master
- Last Pushed: 2021-03-24T16:28:05.000Z (over 4 years ago)
- Last Synced: 2025-06-24T02:49:36.510Z (4 months ago)
- Topics: blockchain, cryptography, ledger, rust, snark
- Language: Rust
- Homepage:
- Size: 53.7 KB
- Stars: 17
- Watchers: 12
- Forks: 5
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE-APACHE
Awesome Lists containing this project
README
Incrementally Verifiable Ledger Systems (IVLS)
This arkworks library describes an interface and contains an implementation for incrementally verifiable ledger systems (IVLS).
An IVLS adds additional security properties to a ledger system, which consists of a state, a transition function, and a client function that reads data from the state. (Blockchains and transparency logs are two of the most prominent examples of ledger systems.) In an IVLS, each state is augmented with a proof that it has been achieved through valid transactions, and a succinct commitment relative to which the client function's answers can be proved. All proofs are succinct and can be efficiently verified.
This library is released under the MIT License and the Apache v2 License (see [License](#license)).
**WARNING:** This is an academic proof-of-concept prototype, and in particular has not received careful code review. This implementation is NOT ready for production use.
The library includes a [circuit-specific setup IVLS compiler](src/compiler/circuit_specific_setup_compiler.rs) and a [universal setup IVLS compiler](src/compiler/universal_setup_compiler.rs). The transition function is built on top of the arkworks PCD library, and the PCD type (which is in turn determined by the underlying SNARK type) determines the type of the IVLS compiler. IVLS is built on top of the Merkle tree implemented [here](src/building_blocks/mt/).
## 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](https://rustup.rs/), or via your platform's package manager. Once `rustup` is installed, install the Rust toolchain by invoking:
```bash
rustup install stable
```
After that, use `cargo`, the standard Rust build tool, to build the libraries:
```bash
git clone https://github.com/arkworks-rs/ivls.git
cd ivls
cargo build
```
## Tests
This library comes with comprehensive unit and integration tests. Run the tests with:
```bash
cargo test --all
```
## License
The crates in this repo are licensed under either of the following licenses, at your discretion.
* Apache License Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
* MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
Unless you explicitly state otherwise, any contribution submitted for inclusion in this library by you shall be dual licensed as above (as defined in the Apache v2 License), without any additional terms or conditions.