Crate openvm_pairing_guest

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