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/folding schemes without complicated circuit arithmetizations.
⚠️ Ragu is under heavy development and has not undergone auditing. Do not use this software in production.
- The Ragu Book provides high-level documentation about Ragu, how it can be used, how it is designed, and how to contribute. The source code for the book lives in this repository in the
booksubdirectory. - Crate documentation is available for official Ragu crate releases.
- Unofficial (internal) library documentation is continually rendered from the
mainbranch. This is primarily for developers of Ragu.
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.