Re-exports§
pub use logup::Logup;pub use logup::LogupWitness;pub use logup::LookupProof as LogupProof;pub use logup::LookupTable as LogupTable;pub use logup::LookupTableID as LogupTableID;pub use logup::LookupTableID;
Modules§
- circuit_
design - column_
env - columns
- expr
- fec
- ffa
- logup
- Implement a variant of the logarithmic derivative lookups based on the equations described in the paper “Multivariate lookups based on logarithmic derivatives”.
- lookups
- Instantiations of Logups for the MSM project Instantiate the Logup protocol for the MSM project.
- precomputed_
srs - Clone of kimchi/precomputed_srs.rs but for MSM project with BN254
- proof
- prover
- serialization
- test
- verifier
- witness
Constants§
- DOMAIN_
SIZE - Domain size for the MSM project, equal to the BN254 SRS size.
- LIMB_
BITSIZE - Bitsize of the foreign field limb representation.
- N_LIMBS
- Number of limbs representing one foreign field element (either
Ff1orFf2).
Type Aliases§
- BN254
- BN254
G1Affine - BN254
G2Affine - Base
Sponge - Ff1
- The foreign field we are emulating (one of the two)
- Ff2
- Fp
- The native field we are working with.
- Opening
Proof - Scalar
Sponge - Sponge
Params