hub / github.com/DoHoonKim8/halo2-lasso

github.com/DoHoonKim8/halo2-lasso @main

691 symbols 1,842 edges 52 files 4 documented · 1%

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

loading…

README

halo2-lasso

This work is implementation of Lasso lookup argument inside HyperPlonk backend. The frontend is zcash/halo2 plonkish circuit structure.

Acknowledgements

Lasso paper (https://eprint.iacr.org/2023/1216.pdf)
This repo is originally the fork of https://github.com/han0110/plonkish.git . Most part of HyperPlonk, multilinear PCS implementation are based on here.

Extension points exported contracts — how you extend this code

PolynomialCommitmentScheme (Interface)

(no doc) [7 implementers]

plonkish_backend/src/pcs.rs

AdditiveCommitment (Interface)

(no doc) [5 implementers]

plonkish_backend/src/pcs.rs

TwoChainCurve (Interface)

(no doc) [4 implementers]

plonkish_backend/src/util/arithmetic.rs

CircuitExt (Interface)

(no doc) [3 implementers]

plonkish_backend/src/frontend/halo2.rs

Polynomial (Interface)

(no doc) [2 implementers]

plonkish_backend/src/poly.rs

Core symbols most depended-on inside this repo

iter

called by 240

plonkish_backend/src/poly/univariate.rs

clone

called by 63

plonkish_backend/src/pcs/multilinear/brakedown.rs

parallelize

called by 42

plonkish_backend/src/util/parallel.rs

iter

called by 39

plonkish_backend/src/util/arithmetic/bh.rs

start_timer

called by 35

plonkish_backend/src/util/timer.rs

squeeze_challenge

called by 34

plonkish_backend/src/util/transcript.rs

iter

called by 30

benchmark/src/bin/plotter.rs

poly

called by 27

plonkish_backend/src/util/expression.rs

Shape

Method 405

Function 182

Class 69

Interface 24

Enum 11

Languages

Rust100%

Modules by API surface

plonkish_backend/src/util/expression.rs39 symbols

plonkish_backend/src/pcs/univariate/kzg.rs37 symbols

plonkish_backend/src/frontend/halo2.rs37 symbols

plonkish_backend/src/poly/multilinear.rs36 symbols

plonkish_backend/src/util/code/brakedown.rs31 symbols

plonkish_backend/src/util/expression/evaluator.rs28 symbols

plonkish_backend/src/poly/univariate.rs27 symbols

plonkish_backend/src/pcs/multilinear/kzg.rs26 symbols

plonkish_backend/src/util/transcript.rs25 symbols

plonkish_backend/src/pcs/multilinear/brakedown.rs25 symbols

plonkish_backend/src/util/arithmetic.rs24 symbols

plonkish_backend/src/pcs/multilinear/hyrax.rs24 symbols

For agents

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

⬇ download graph artifact