openvm_ecc_circuit/
lib.rs

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