pub fn get_ec_double_air<const BLOCKS: usize, const BLOCK_SIZE: usize>(
exec_bridge: ExecutionBridge,
mem_bridge: MemoryBridge,
config: ExprBuilderConfig,
range_checker_bus: VariableRangeCheckerBus,
bitwise_lookup_bus: BitwiseOperationLookupBus,
pointer_max_bits: usize,
offset: usize,
a_biguint: BigUint,
) -> WeierstrassAir<1, BLOCKS, BLOCK_SIZE>