Crate openvm_pairing_guest Copy item path
Summary Source pub use halo2curves_axiom as halo2curves;
pub use openvm_algebra_guest as algebra;
bls12_381 Types for BLS12-381 curve with intrinsic functions. bn254 Types for BN254 curve with intrinsic functions. halo2curves_shims Implementation of this library’s traits on halo2curves types.
Used for testing and also VM runtime execution.
These should only be importable on a host machine. pairing Traits for optimal Ate pairing check using intrinsic functions. PairingBaseFunct7 The funct7 field equals pairing_idx * PAIRING_MAX_KINDS + base_funct7
. OPCODE This is custom-1 defined in RISC-V spec document PAIRING_FUNCT3