Skip to content

Prove uniqueness of getBit binary representation#181

Open
MavenRain wants to merge 2 commits intoVerified-zkEVM:masterfrom
MavenRain:feat/getBit-uniqueness
Open

Prove uniqueness of getBit binary representation#181
MavenRain wants to merge 2 commits intoVerified-zkEVM:masterfrom
MavenRain:feat/getBit-uniqueness

Commits

Commits on Apr 1, 2026