Prove uniqueness of getBit binary representation#181

Merged

alexanderlhicks merged 4 commits into

Verified-zkEVM:masterfrom

MavenRain:feat/getBit-uniqueness

Jun 24, 2026

Commits on Apr 1, 2026

Prove uniqueness of getBit binary representation
MavenRain
committed

Commits on Apr 4, 2026

style(Data/Nat/Bitwise): fix style guide violations in getBit uniqueness proofs
MavenRain
committed

Commits on Jun 23, 2026

Merge branch 'master' into feat/getBit-uniqueness
alexanderlhicks
authored
chore(lint): allow Bitwise.lean length in style-exceptions

alexanderlhicks
and
claude
committed