Skip to content
zorch
zorch.pcs
Initializing search
fractalyze/zorch
zorch
fractalyze/zorch
Home
Get started
Guides
Guides
Assembling a prover
Keeping code fused
Setup & troubleshooting
Reference
Reference
Blocks & imports
Field-dtype sharp bits
Design digest
API
API
zorch
zorch
blake3_field_transcript
byte_transcript
challenge
coding
coding
zorch.coding
additive_reed_solomon
foldable_code
linear_code
reed_solomon
tensor_code
commit
commit
zorch.commit
ajtai
merkle
smcs
strided_merkle
constraint_eval
grind
lnp
lnp
zorch.lnp
challenge
eval
masking
opening
quadratic
range
transcript
wire
logup_gkr
logup_gkr
zorch.logup_gkr
circuit
jagged_prover
jagged_stage
jagged_verifier
prover
stage
verifier
pcs
pcs
zorch.pcs
zorch.pcs
Table of contents
pcs
basefold
basefold
zorch.pcs.basefold
batching
choreography
config
kernel
prover
verifier
deep
fold
fri
fri
zorch.pcs.fri
config
prover
verifier
ipa
ipa
zorch.pcs.ipa
challenger
config
math
prover
setup
verifier
jagged
jagged
zorch.pcs.jagged
branching_program
commit
dense
open
poly
prover
region
shard_open_bench
verifier
kzg
kzg
zorch.pcs.kzg
config
prover
setup
verifier
ligerito
ligerito
zorch.pcs.ligerito
basis
choreography
config
prover
verifier
ligero
ligero
zorch.pcs.ligero
config
prover
verifier
matrix_commit
ring_switch
stage
whir
whir
zorch.pcs.whir
config
prover
scheme
verifier
poly
poly
zorch.poly
eq
geq
multilinear
univariate
prove
round
scan_body
sha256_field_transcript
spartan
spartan
zorch.spartan
lincheck
pcs_glue
r1cs
spartan
summand
zerocheck
stage
sumcheck
sumcheck
zorch.sumcheck
domain
eq
eq
zorch.sumcheck.eq
accumulators
eq_poly
small_value
stage
gruen
jagged
jagged
zorch.sumcheck.jagged
buffers
fs
layout
rounds
schedule
types
prover
reduce
sqrt_space
stage
univariate_skip
verifier
testkit
testkit
zorch.testkit
fusion
jit_cache
koalabear16
random_field
transcript
transcript
utils
utils
zorch.utils
binary_field
bits
field
verify
Table of contents
pcs
zorch.pcs
¶
Back to top