From e8edbbc1c54df0b167087a5e0dd5223d1d91814e Mon Sep 17 00:00:00 2001 From: Sunghyeon Jo Date: Fri, 6 Jun 2025 02:37:15 -0700 Subject: [PATCH] Feat/add exp gate (#257) * add exponentiation gate to common_data_for_recursion * fix: use new_from_config Co-authored-by: Eduard S. --------- Co-authored-by: Eduard S. --- src/backends/plonky2/recursion/circuit.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/backends/plonky2/recursion/circuit.rs b/src/backends/plonky2/recursion/circuit.rs index 6e95aa6..efccda1 100644 --- a/src/backends/plonky2/recursion/circuit.rs +++ b/src/backends/plonky2/recursion/circuit.rs @@ -342,6 +342,7 @@ pub fn common_data_for_recursion( GateRef::new(plonky2::gates::random_access::RandomAccessGate::new_from_config(&config, 4)), GateRef::new(plonky2::gates::random_access::RandomAccessGate::new_from_config(&config, 5)), GateRef::new(plonky2::gates::random_access::RandomAccessGate::new_from_config(&config, 6)), + GateRef::new(plonky2::gates::exponentiation::ExponentiationGate::new_from_config(&config)), // It would be better do `CosetInterpolationGate::with_max_degree(4, 6)` but unfortunately // that plonk2 method is `pub(crate)`, so we need to get around that somehow. GateRef::new(coset_interpolation_gate(