Search results

Consider removing @[reducible] from fields / ProvableVector to shrink circuit_norm lemma count

Status: Open.

#362 In Verified-zkEVM/clean;

· mitschabaude opened on Apr 22, 2026

Experiment with metaprogramming to get rid of Subcircuit properties

library-coreRequires changing or extending the clean core. Best reserved for long-time contributorsRequires changing or extending the clean core. Best reserved for long-time contributors

Status: Open.

#358 In Verified-zkEVM/clean;

· mitschabaude opened on Apr 16, 2026

Generalize type of env.get

Status: Open.

#354 In Verified-zkEVM/clean;

· pirapira opened on Apr 5, 2026

Generalize ProverData to type variable

Status: Open.

#353 In Verified-zkEVM/clean;

· pirapira opened on Apr 5, 2026

FormalCircuit, FormalTable are misnomers

Status: Open.

#350 In Verified-zkEVM/clean;

· pirapira opened on Mar 29, 2026

Missing completeness in FormalTable

Status: Open.

#349 In Verified-zkEVM/clean;

· pirapira opened on Mar 29, 2026

Add Soundness and Completeness variants for ConstraintsHoldOnWindow

Status: Open.

#348 In Verified-zkEVM/clean;

· pirapira opened on Mar 29, 2026

FormalTable.Assumption should not receive ProverData

Status: Open.

#347 In Verified-zkEVM/clean;

· pirapira opened on Mar 26, 2026

[circomlib] Posseidon circuit

gadgetWrite a circuit using clean. Usually well-suited for external contributionsWrite a circuit using clean. Usually well-suited for external contributions

Status: Open.

#333 In Verified-zkEVM/clean;

· pirapira opened on Feb 13, 2026

Hide concrete output expression from the calling circuit

Status: Open.

#322 In Verified-zkEVM/clean;

· pirapira opened on Jan 5, 2026

Investigate linter performance issue in linter.constructorNameAsVariable

Status: Open.

#313 In Verified-zkEVM/clean;

· pirapira opened on Dec 17, 2025

circuit_proof_start: allow explicitly passing ProvableStructs to be unpacked

Status: Open.

#280 In Verified-zkEVM/clean;

· pirapira opened on Sep 19, 2025