Re-exports§
pub use halo2curves_axiom as halo2curves;
pub use openvm_algebra_guest as algebra;
Modules§
- Types for BLS12-381 curve with intrinsic functions.
- Types for BN254 curve with intrinsic functions.
- 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.
- Traits for optimal Ate pairing check using intrinsic functions.
Enums§
- The funct7 field equals
pairing_idx * PAIRING_MAX_KINDS + base_funct7
.
Constants§
- This is custom-1 defined in RISC-V spec document