Frontend and backend for building circuits#799

Open

dreamATD wants to merge 9 commits intomasterfrom tianyi/refactor-prover

+4,098-13

Commits on Dec 31, 2024

Frontend and backend for building circuits
dreamATD
committed

Commits on Jan 1, 2025

Commits on Jan 6, 2025

Suggestions for 'Frontend and backend for building circuits' (#801 )

matthiasgoergens
and
dreamATD
authored
Merge branch 'master' into tianyi/refactor-prover
dreamATD
authored

Commits on Jan 7, 2025

Commits on Jan 9, 2025