Post #1168615

#ZKP Achievement unlocked! We're using 100% of the crates providing Tom-256 curves (https://crates.io/search?q=t256, ignoring `uint256`): Our https://crates.io/crates/ark-tom256 based on arkworks, to make noir produce circuits based on the T-256 curve, and https://crates.io/crates/halo2curves in the MS Crescent implementation to use Spartan as a prover backend... And Clément proved that `1 == 1`, and he cannot prove that `2 == 1`, because the circuit constraints are not met!