Skip to content

EIP-8037 + EIP-7778 + EIP-8038: state gas reservoir and refund-free block gas accounting - #2876

Open
anvacaru wants to merge 18 commits into
amsterdam-foundationfrom
eip-8037
Open

EIP-8037 + EIP-7778 + EIP-8038: state gas reservoir and refund-free block gas accounting#2876
anvacaru wants to merge 18 commits into
amsterdam-foundationfrom
eip-8037

update kontrol proof specs

81a805b
Select commit
Loading
Failed to load commit list.

There are no checks for this commit