{"id":28377983,"url":"https://github.com/arkworks-rs/ivls","last_synced_at":"2025-06-26T21:32:06.884Z","repository":{"id":53556771,"uuid":"293620411","full_name":"arkworks-rs/ivls","owner":"arkworks-rs","description":"Implementation of incrementally verifiable ledger system","archived":false,"fork":false,"pushed_at":"2021-03-24T16:28:05.000Z","size":55,"stargazers_count":17,"open_issues_count":2,"forks_count":5,"subscribers_count":12,"default_branch":"master","last_synced_at":"2025-06-24T02:49:36.510Z","etag":null,"topics":["blockchain","cryptography","ledger","rust","snark"],"latest_commit_sha":null,"homepage":"","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/arkworks-rs.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE-APACHE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-09-07T19:58:21.000Z","updated_at":"2024-12-14T21:57:06.000Z","dependencies_parsed_at":"2022-09-02T14:43:00.600Z","dependency_job_id":null,"html_url":"https://github.com/arkworks-rs/ivls","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/arkworks-rs/ivls","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arkworks-rs%2Fivls","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arkworks-rs%2Fivls/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arkworks-rs%2Fivls/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arkworks-rs%2Fivls/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/arkworks-rs","download_url":"https://codeload.github.com/arkworks-rs/ivls/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/arkworks-rs%2Fivls/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":262145172,"owners_count":23265881,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["blockchain","cryptography","ledger","rust","snark"],"created_at":"2025-05-30T01:35:06.654Z","updated_at":"2025-06-26T21:32:06.877Z","avatar_url":"https://github.com/arkworks-rs.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ch1 align=\"center\"\u003eIncrementally Verifiable Ledger Systems (IVLS)\u003c/h1\u003e\n\nThis arkworks library describes an interface and contains an implementation for incrementally verifiable ledger systems (IVLS).\n\nAn 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.\n\nThis library is released under the MIT License and the Apache v2 License (see [License](#license)).\n\n**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.\n\nThe 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/).\n\n## Build guide\n\nThe 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:\n```bash\nrustup install stable\n```\n\nAfter that, use `cargo`, the standard Rust build tool, to build the libraries:\n```bash\ngit clone https://github.com/arkworks-rs/ivls.git\ncd ivls\ncargo build\n```\n\n## Tests\nThis library comes with comprehensive unit and integration tests. Run the tests with:\n```bash\ncargo test --all\n```\n\n## License\n\nThe crates in this repo are licensed under either of the following licenses, at your discretion.\n\n * Apache License Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)\n * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)\n\nUnless 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.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Farkworks-rs%2Fivls","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Farkworks-rs%2Fivls","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Farkworks-rs%2Fivls/lists"}