hub / github.com/ZK-Garage/plonk

github.com/ZK-Garage/plonk @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

484 symbols 1,399 edges 63 files 227 documented · 47% ● updated 2y ago★ 31634 open issues

Browse by type

⨍ Functions 420◇ Types & classes 64

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

loading…

Extension points exported contracts — how you extend this code

Circuit (Interface)

Trait that should be implemented for any circuit function to provide to it the capabilities of automatically being able [4 …

plonk-core/src/circuit.rs

PoseidonRefSpec (Interface)

(no doc) [4 implementers]

plonk-hashing/src/poseidon/poseidon_ref.rs

CustomValues (Interface)

Set of values needed for a custom gate [4 implementers]

plonk-core/src/proof_system/widget/mod.rs

GateConstraint (Interface)

Gate Constraint [4 implementers]

plonk-core/src/proof_system/widget/mod.rs

HomomorphicCommitment (Interface)

A homomorphic polynomial commitment [2 implementers]

plonk-core/src/commitment.rs

EvaluationDomainExt (Interface)

Evaluation Domain Extension Trait [1 implementers]

plonk-core/src/util.rs

browse all types & interfaces →

Core symbols most depended-on inside this repo

↓ 4 filesGateConstraint

Gate Constraint

plonk-core/src/proof_system/widget/mod.rs

↓ 4 filesCustomValues

Set of values needed for a custom gate

plonk-core/src/proof_system/widget/mod.rs

↓ 3 filesCircuit

Trait that should be implemented for any circuit function to provide to it the capabilities of automatically being able to …

plonk-core/src/circuit.rs

↓ 2 fileslc

Linear combination of a series of values For values [v_0, v_1,... v_k] returns: v_0 + challenge * v_1 + ... + challenge^k * v_k

plonk-core/src/util.rs

↓ 2 filesVariable

plonk-core/src/constraint_system/variable.rs

↓ 2 filesdummy_gadget

plonk-core/src/constraint_system/helper.rs

browse all functions →

Shape

Method 286

Function 134

Class 54

Interface 7

Enum 3

Languages

Rust100%

Modules by API surface

plonk-hashing/src/poseidon/matrix.rs39 symbols

plonk-core/src/constraint_system/composer.rs30 symbols

plonk-core/src/lookup/multiset.rs25 symbols

plonk-hashing/src/poseidon/poseidon_ref.rs24 symbols

plonk-core/src/permutation/mod.rs24 symbols

plonk-core/src/lookup/lookup_table.rs24 symbols

plonk-core/src/constraint_system/arithmetic.rs19 symbols

plonk-core/src/proof_system/widget/mod.rs18 symbols

plonk-hashing/src/poseidon/zprize_constraints.rs17 symbols

plonk-core/src/circuit.rs16 symbols

plonk-hashing/src/poseidon/mds.rs15 symbols

plonk-core/src/constraint_system/ecc/mod.rs15 symbols

For agents

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

⬇ download graph artifact

github.com/ZK-Garage/plonk @main

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page