Skip to content

Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics #1943

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
Th0rgal wants to merge 20 commits into
base: main
Choose a base branch
from

Wire SHA-256 engine into compiler build

fc265c3
Select commit
Loading
Failed to load commit list.
Open

Model keccak256 opcode, unaligned calldata, and SHA-256 engine in executable semantics #1943

Wire SHA-256 engine into compiler build
fc265c3
Select commit
Loading
Failed to load commit list.
Vercel / Vercel Preview Comments succeeded Jun 1, 2026 in 0s

✅ No unresolved feedback

💬 0 unresolved, 0 resolved. Go to feedback

View more details on Vercel