ed255/pod2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add zk config, enabled by a feature (on by default) (#306)

Browse source 
* add zk config, enabled by a feature (on by default)

* Update src/backends/plonky2/recursion/circuit.rs

Co-authored-by: Ahmad Afuni <root@ahmadafuni.com>

---------

Co-authored-by: Ahmad Afuni <root@ahmadafuni.com>
This commit is contained in:
arnaucube 2025-06-24 17:28:58 +02:00 • committed by GitHub
parent d5da9d8593
commit 256d76ae34
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 82 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/backends/plonky2/emptypod.rs
View file

@ -88,7 +88,12 @@ pub static STANDARD_EMPTY_POD_DATA: LazyLock<(EmptyPodVerifyTarget, CircuitData)
fn build() -> Result<(EmptyPodVerifyTarget, CircuitData)> {
let params = &*DEFAULT_PARAMS;
#[cfg(not(feature = "zk"))]
let config = CircuitConfig::standard_recursion_config();
#[cfg(feature = "zk")]
let config = CircuitConfig::standard_recursion_zk_config();
let mut builder = CircuitBuilder::<F, D>::new(config);
let empty_pod_verify_target = EmptyPodVerifyCircuit {
params: params.clone(),