2 unstable releases
0.7.0  Apr 30, 2024 

0.6.1 

0.6.0  Mar 28, 2024 
#7 in #nova
139 downloads per month
Used in ringsnode
770KB
2K
SLoC
Rings SNARK
======================
This crate contains the implementation of Rings SNARK, which is based on Nova
TL;DR
Rings SNARK is a SNARK proof system based on NOVA. It automates the process of transferring circuits written in circom
language to the bellpepper proof system used by Rings SNARK. Additionally, it leverages Nova for folding operations. This is beneficial for breaking down large zkSNARK computations and enabling parallel processing.
Workflow
The following diagram illustrates the core logic of Rings SNARK. The top side represents the input from circom
, including the compiled r1cs and wasm. The right side shows the circuit's input, including public and private input.
WASM Reader
Rings SNARK includes a loader module for Circom Witness Calculator (Wasm). It uses wasmer for reading wasm and transforms it into a Circuit compatible with Nova standards.
RICS Loader
Rings SNARK can read r1cs generated by circom and convert them to the bell pepper proof system. This is based on the work of CircomScotia and further adds support for browsers.
Nova Folder
Through Nova, Rings SNARK performs folding computations on circuits. A set of recursive circuits can be folded into two Relax R1CSbased circuits. This allows Rings SNARK to arbitrarily split the circuit list and distribute it across nodes via the Rings Network.
Recursive SNARK
Rings SNARK supports most recursive circuits. It requires that the number of inputs and outputs in a circuit be equal. The output from one step becomes the input for the next, thus creating a recursive process. For circuits not originally designed for recursive SNARK, simple modifications may be necessary. For instance, auxiliary variables can be used to make inputs and outputs recursive, or internal loops can be rewritten as recursive structures. For more details, refer to the merkle tree example in the examples section.
Dependencies
~30–47MB
~786K SLoC