-
Notifications
You must be signed in to change notification settings - Fork 3
Insights: Verified-zkEVM/clean
Overview
-
0 Active issues
-
- 6 Merged pull requests
- 3 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
6 Pull requests merged by 2 people
-
Rebuild Circuit monad on simpler types
#100 merged
Jun 5, 2025 -
Refactor the two definitions of
to_bitsandfrom_bits#103 merged
Jun 4, 2025 -
Rotation composition proof
#92 merged
Jun 3, 2025 -
Remove conditionals in
constraints_holddefinition#98 merged
Jun 3, 2025 -
ToBits gadget and generalization of loop theorems
#97 merged
Jun 3, 2025 -
Change Circuit monad to be consistent by definition
#102 merged
Jun 2, 2025
3 Pull requests opened by 2 people
-
Experiment: High-level simplification
#101 opened
May 31, 2025 -
`InductiveTable`: simpler AIR interface
#105 opened
Jun 4, 2025 -
Bit rotation proofs
#106 opened
Jun 5, 2025