hub / github.com/alex-ozdemir/collaborative-zksnark

github.com/alex-ozdemir/collaborative-zksnark @main

3,328 symbols 9,910 edges 522 files 540 documented · 16% ● updated 13mo ago★ 1333 open issues

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

Collaborative zkSNARKs

This is a proof-of-concept implementation of Collaborative zkSNARKs based on Groth16, Marlin, and Plonk. This implementation is not secure; it exists for benchmarking reasons.

This implementation accompanies the paper that introduced Collaborative zkSNARKs: "Experimenting with Collaborative zk-SNARKs: Zero-Knowledge Proofs for Distributed Secrets".

Starting point

A good place to start is:

Enter mpc-snarks.
cargo build --release --bin proof.
./scripts/bench.zsh plonk spdz 10 2.

Extension points exported contracts — how you extend this code

ConstraintSynthesizer (Interface)

Computations are expressed in terms of rank-1 constraint systems (R1CS). The `generate_constraints` method is called to [13 …

snark/relations/src/r1cs/constraint_system.rs

CanonicalSerialize (Interface)

Serializer in little endian format. The serialization format must be 'length-extension' safe. e.g. if T implements Canon [28 …

algebra/serialize/src/lib.rs

ToConstraintField (Interface)

Types that can be converted to a vector of `F` elements. Useful for specifying how public inputs to a constraint system [21 …

algebra/ff/src/to_field_vec.rs

CondSelectGadget (Interface)

Generates constraints for selecting between one of two values. [12 implementers]

r1cs-std/src/select.rs

Reveal (Interface)

A type should implement [Reveal] if it represents the MPC abstraction of some base type. It is typically implemented fo [50 …

mpc-algebra/src/reveal.rs

PubUniformRand (Interface)

(no doc) [7 implementers]

utils/src/rand_helper.rs

PCCommitterKey (Interface)

Defines the minimal interface of committer keys for any polynomial commitment scheme. [4 implementers]

poly-commit/src/data_structures.rs

PairingEngine (Interface)

(no doc) [7 implementers]

algebra/ec/src/lib.rs

Core symbols most depended-on inside this repo

clone

called by 558

marlin/benches/bench.rs

rand

called by 487

mpc-algebra/src/share/gsz20/mod.rs

iter

called by 430

marlin/src/ahp/prover.rs

push

called by 430

poly-commit/src/data_structures.rs

into

called by 252

algebra/poly/src/polynomial/univariate/mod.rs

gen

called by 235

mpc-plonk/src/util.rs

into_iter

called by 203

crypto-primitives/src/snark/constraints.rs

square

called by 117

algebra/ff/src/fields/models/cubic_extension.rs

Shape

Method 1,832

Function 917

Class 419

Interface 119

Enum 41

Languages

Rust99%

Python1%

Modules by API surface

mpc-algebra/src/share/gsz20/mod.rs77 symbols

algebra/ff/src/fields/models/quadratic_extension.rs55 symbols

r1cs-std/src/bits/boolean.rs52 symbols

snark/relations/src/r1cs/constraint_system.rs47 symbols

curves/bls12_381/src/fields/tests.rs46 symbols

algebra/ff/src/fields/models/cubic_extension.rs46 symbols

mpc-algebra/src/wire/field.rs44 symbols

algebra/ec/src/models/twisted_edwards_extended.rs44 symbols

algebra/ec/src/models/short_weierstrass_jacobian.rs42 symbols

algebra/poly/src/polynomial/univariate/dense.rs40 symbols

algebra/ff/src/fields/mod.rs40 symbols

r1cs-std/src/fields/fp/mod.rs37 symbols

For agents

$ claude mcp add collaborative-zksnark \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact