Crate custom_constraints

Crate custom_constraints 

Source
Expand description

Pluto Logo
Pluto

Telegram Docs License

§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

Custom Constraints provides an implementation of Customizable Constraint Systems (CCS), a framework for zero-knowledge proof systems.

This crate provides tools for:

  • Building arithmetic circuits with degree bounds
  • Converting circuits to CCS form
  • Optimizing circuit representations
  • Working with sparse matrix operations

The core components are:

  • Circuit: For constructing and manipulating arithmetic circuits
  • CCS: The customizable constraint system representation
  • SparseMatrix: Efficient sparse matrix operations

Modules§

ccs
Implements the Customizable Constraint System (CCS) format.
circuit
Circuit building and optimization for CCS.
matrix
Provides a Compressed Sparse Row (CSR) matrix implementation optimized for efficient operations.