Pluto

Custom Constraints

An implementation of the Customizable Constraint System (CCS) to be used in SNARKs.

Overview

This library provides an ergonomic and performant implementation of CCS to be adapted to any frontend or backend proving system.

Features

• Minimal Dependencies: Most, if not all, is built by Pluto.
• Frontend Compatibility:
  • Noir (coming soon)

Usage

Add to your Cargo.toml:

[dependencies]
custom-constraints = "*"

Implementation Details

See the Customizable constraint systems for succinct arguments paper.

Roadmap

• CSR Sparse matrices
• CCS structure
• CCS checking
• CCS builder/allocator (i.e., from constraints)

Contributing

We welcome contributions to our open-source projects. If you want to contribute or follow along with contributor discussions, join our main Telegram channel to chat about Pluto's development.

Our contributor guidelines can be found in our CONTRIBUTING.md.

Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be licensed as above, without any additional terms or conditions.

License

This project is licensed under the Apache V2 License - see the LICENSE file for details.

References

• Customizable constraint systems for succinct arguments