Crate openvm_pairing_guest

Source

Re-exports§

pub use halo2curves_axiom as halo2curves;
pub use openvm_algebra_guest as algebra;

Modules§

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.

Enums§

PairingBaseFunct7
The funct7 field equals pairing_idx * PAIRING_MAX_KINDS + base_funct7.

Constants§

OPCODE
This is custom-1 defined in RISC-V spec document
PAIRING_FUNCT3