hub / github.com/ZK-Garage/plonk

github.com/ZK-Garage/plonk @main

484 symbols 1,399 edges 63 files 227 documented · 47%

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

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

Core symbols most depended-on inside this repo

push

called by 433

plonk-core/src/lookup/multiset.rs

add_input

called by 118

plonk-core/src/constraint_system/composer.rs

append

called by 106

plonk-core/src/transcript.rs

witness

called by 57

plonk-core/src/constraint_system/arithmetic.rs

arithmetic_gate

called by 57

plonk-core/src/constraint_system/arithmetic.rs

extend

called by 44

plonk-core/src/lookup/multiset.rs

len

called by 41

plonk-core/src/lookup/multiset.rs

get

called by 34

plonk-core/src/proof_system/linearisation_poly.rs

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