openvm_ecc_circuit/
lib.rs

1#![cfg_attr(feature = "tco", allow(incomplete_features))]
2#![cfg_attr(feature = "tco", feature(explicit_tail_calls))]
3#![cfg_attr(feature = "tco", feature(core_intrinsics))]
4#[cfg(feature = "cuda")]
5use {
6    openvm_mod_circuit_builder::FieldExpressionCoreRecordMut,
7    openvm_rv32_adapters::Rv32VecHeapAdapterRecord,
8};
9
10mod extension;
11mod weierstrass_chip;
12
13pub use extension::*;
14pub use weierstrass_chip::*;
15
16#[cfg(feature = "cuda")]
17pub(crate) type EccRecord<
18    'a,
19    const NUM_READS: usize,
20    const BLOCKS: usize,
21    const BLOCK_SIZE: usize,
22> = (
23    &'a mut Rv32VecHeapAdapterRecord<NUM_READS, BLOCKS, BLOCKS, BLOCK_SIZE, BLOCK_SIZE>,
24    FieldExpressionCoreRecordMut<'a>,
25);