Labels
Labels
33 labels
arithmetization
beta v5 - invalidity proof
bug
chain configuration
cleaning
debugging
dependencies
documentation
EIP-7702
enhancement
forced transactions
github-actions
good first issue
hardfork amsterdam
hardfork cancun
hardfork osaka
hardfork paris
hardfork prague
hardfork shanghai
help wanted
invalid
performance
prover integration
question
state manager
status unclear
system transaction
type 1
typo
veridise audit