Modules§
- build_
info 🔒 - circuit 🔒
- fp
- fq
- gate_
vector 🔒 - oracles 🔒
- pasta_
fp_ 🔒plonk_ index - pasta_
fq_ 🔒plonk_ index - plonk_
verifier_ 🔒index - poly_
comm 🔒 - poseidon 🔒
- proof 🔒
- srs 🔒
- tables 🔒
- vector 🔒
- wrappers 🔒
Structs§
- JsLookup
Table Fp - JsLookup
Table Fq - JsRuntime
Table CfgFp - JsRuntime
Table CfgFq - Napi
FpLookup Commitments - Napi
FpLookup Verifier Index - Napi
FpOpening Proof - Napi
FpPlonk Verifier Index - Napi
FpProver Commitments - Napi
FpProver Proof - Napi
FpRuntime Table - Napi
FqLookup Commitments - Napi
FqLookup Verifier Index - Napi
FqOpening Proof - Napi
FqPlonk Verifier Index - Napi
FqProver Commitments - Napi
FqProver Proof - Napi
FqRuntime Table - Wasm
Flat Vector - Wasm
FpGate - Wasm
FpGate Vector - Wasm
FpPoly Comm - Wasm
FpSrs - Wasm
FqGate - Wasm
FqGate Vector - Wasm
FqPoly Comm - Wasm
FqSrs - WasmG
Pallas - WasmG
Vesta - Wasm
Pasta Fp - Wasm
Pasta FpPlonk Index - Wasm
Pasta Fq - Wasm
Pasta FqPlonk Index - Wasm
VecVec Fp - Wasm
VecVec Fq
Constants§
Functions§
- caml_
fp_ srs_ from_ bytes - caml_
fp_ srs_ to_ bytes - caml_
fq_ srs_ from_ bytes - caml_
fq_ srs_ to_ bytes - caml_
pasta_ fp_ plonk_ circuit_ serialize - caml_
pasta_ fp_ plonk_ gate_ vector_ add - caml_
pasta_ fp_ plonk_ gate_ vector_ create - caml_
pasta_ fp_ plonk_ gate_ vector_ digest - caml_
pasta_ fp_ plonk_ gate_ vector_ from_ bytes - caml_
pasta_ fp_ plonk_ gate_ vector_ from_ bytes_ external - caml_
pasta_ fp_ plonk_ gate_ vector_ get - caml_
pasta_ fp_ plonk_ gate_ vector_ len - caml_
pasta_ fp_ plonk_ gate_ vector_ to_ bytes - caml_
pasta_ fp_ plonk_ gate_ vector_ wrap - caml_
pasta_ fp_ plonk_ index_ create - caml_
pasta_ fp_ plonk_ index_ decode - caml_
pasta_ fp_ plonk_ index_ domain_ d1_ size - caml_
pasta_ fp_ plonk_ index_ domain_ d4_ size - caml_
pasta_ fp_ plonk_ index_ domain_ d8_ size - caml_
pasta_ fp_ plonk_ index_ encode - caml_
pasta_ fp_ plonk_ index_ max_ degree - caml_
pasta_ fp_ plonk_ index_ public_ inputs - caml_
pasta_ fp_ plonk_ index_ read - caml_
pasta_ fp_ plonk_ index_ write - caml_
pasta_ fp_ plonk_ proof_ batch_ verify - caml_
pasta_ fp_ plonk_ proof_ create - caml_
pasta_ fp_ plonk_ proof_ deep_ copy - caml_
pasta_ fp_ plonk_ proof_ dummy - caml_
pasta_ fp_ plonk_ proof_ verify - caml_
pasta_ fp_ plonk_ verifier_ index_ create - caml_
pasta_ fp_ plonk_ verifier_ index_ deep_ copy - caml_
pasta_ fp_ plonk_ verifier_ index_ deserialize - caml_
pasta_ fp_ plonk_ verifier_ index_ dummy - caml_
pasta_ fp_ plonk_ verifier_ index_ read - caml_
pasta_ fp_ plonk_ verifier_ index_ serialize - caml_
pasta_ fp_ plonk_ verifier_ index_ shifts - caml_
pasta_ fp_ plonk_ verifier_ index_ write - caml_
pasta_ fp_ poseidon_ block_ cipher - caml_
pasta_ fq_ plonk_ circuit_ serialize - caml_
pasta_ fq_ plonk_ gate_ vector_ add - caml_
pasta_ fq_ plonk_ gate_ vector_ create - caml_
pasta_ fq_ plonk_ gate_ vector_ digest - caml_
pasta_ fq_ plonk_ gate_ vector_ from_ bytes - caml_
pasta_ fq_ plonk_ gate_ vector_ from_ bytes_ external - caml_
pasta_ fq_ plonk_ gate_ vector_ get - caml_
pasta_ fq_ plonk_ gate_ vector_ len - caml_
pasta_ fq_ plonk_ gate_ vector_ to_ bytes - caml_
pasta_ fq_ plonk_ gate_ vector_ wrap - caml_
pasta_ fq_ plonk_ index_ create - caml_
pasta_ fq_ plonk_ index_ decode - caml_
pasta_ fq_ plonk_ index_ domain_ d1_ size - caml_
pasta_ fq_ plonk_ index_ domain_ d4_ size - caml_
pasta_ fq_ plonk_ index_ domain_ d8_ size - caml_
pasta_ fq_ plonk_ index_ encode - caml_
pasta_ fq_ plonk_ index_ max_ degree - caml_
pasta_ fq_ plonk_ index_ public_ inputs - caml_
pasta_ fq_ plonk_ index_ read - caml_
pasta_ fq_ plonk_ index_ write - caml_
pasta_ fq_ plonk_ proof_ batch_ verify - caml_
pasta_ fq_ plonk_ proof_ create - caml_
pasta_ fq_ plonk_ proof_ deep_ copy - caml_
pasta_ fq_ plonk_ proof_ dummy - caml_
pasta_ fq_ plonk_ proof_ verify - caml_
pasta_ fq_ plonk_ verifier_ index_ create - caml_
pasta_ fq_ plonk_ verifier_ index_ deep_ copy - caml_
pasta_ fq_ plonk_ verifier_ index_ deserialize - caml_
pasta_ fq_ plonk_ verifier_ index_ dummy - caml_
pasta_ fq_ plonk_ verifier_ index_ read - caml_
pasta_ fq_ plonk_ verifier_ index_ serialize - caml_
pasta_ fq_ plonk_ verifier_ index_ shifts - caml_
pasta_ fq_ plonk_ verifier_ index_ write - caml_
pasta_ fq_ poseidon_ block_ cipher - fp_
oracles_ create - fp_
oracles_ deep_ copy - fp_
oracles_ dummy - fq_
oracles_ create - fq_
oracles_ deep_ copy - fq_
oracles_ dummy - get_
native_ calls - prover_
index_ fp_ deserialize - prover_
index_ fp_ serialize - prover_
index_ fq_ deserialize - prover_
index_ fq_ serialize - prover_
to_ json