2 Repositories
Rust ccs Libraries
a hack implementation of CCS generic arithmetization, won a prize at Zuzalu hackathon 2023 despite incompleteness
ccs-hack CCS (Customized Constraint System) is a generic constraints representation system can simultaneously capture R1CS, Plonkish, and AIR: $$\sum_
27 Jun 1, 2023
my `ccs` command, RIIR
a simplier output for cargo clippy Usage: ccs [OPTIONS] simplifies the output of cargo clippy this runs clippy and produces are smaller output with
2 Sep 4, 2022