Ragu is under heavy development and has not undergone auditing. Do not use this software in production.
Ragu is a Rust-language proof-carrying data (PCD) framework that implements a modified version of the ECDLP-based recursive SNARK construction from Halo [BGH19]. Ragu does not require a trusted setup. Developed for Project Tachyon and compatible with the Pasta curves employed in Zcash, Ragu targets performance and feature support that is competitive with other ECC-based accumulation and folding schemes without complicated circuit arithmetizations.
- This book documents working with Ragu, the protocol's design, and implementation details for those contributing to Ragu's development.
- The official Ragu source code repository is available on GitHub.
- Crate documentation is available for official Ragu crate releases.
- Internal documentation is
available for Ragu developers, including private APIs and implementation
details. It is continually rendered from the
mainbranch and may include changes not yet in official releases. - This book's source files are maintained within the Ragu repository.
License
This library is distributed under the terms of both the MIT license and the Apache License (Version 2.0). See LICENSE-APACHE, LICENSE-MIT and COPYRIGHT.