Skip to content

Prove uniqueness of getBit binary representation#181

Merged
alexanderlhicks merged 4 commits into
Verified-zkEVM:masterfrom
MavenRain:feat/getBit-uniqueness
Jun 24, 2026
Merged

Prove uniqueness of getBit binary representation#181
alexanderlhicks merged 4 commits into
Verified-zkEVM:masterfrom
MavenRain:feat/getBit-uniqueness

chore(lint): allow Bitwise.lean length in style-exceptions

f8c7985
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
summarize
succeeded Jun 23, 2026 in 1m 36s