Add wide config for ECDSA in < 2^16 gates

This commit is contained in:
wborgeaud 2022-03-03 04:15:15 +01:00
parent c8d3335bce
commit f6525ed11a
2 changed files with 16 additions and 1 deletions

View File

@ -74,7 +74,15 @@ mod tests {
type Curve = Secp256K1;
let config = CircuitConfig::standard_ecc_config();
const WIDE: bool = true;
let config = if WIDE {
// < 2^16 gates.
CircuitConfig::wide_ecc_config()
} else {
// < 2^17 gates.
CircuitConfig::standard_ecc_config()
};
let pw = PartialWitness::new();
let mut builder = CircuitBuilder::<F, D>::new(config);

View File

@ -86,6 +86,13 @@ impl CircuitConfig {
}
}
pub fn wide_ecc_config() -> Self {
Self {
num_wires: 234,
..Self::standard_recursion_config()
}
}
pub fn standard_recursion_zk_config() -> Self {
CircuitConfig {
zero_knowledge: true,