[{"type":"report","id":"BLC-STUDY-1637","title":"Checked Arithmetic Opcodes","author":[{"literal":"Hubert Ritzdorf"}],"issued":{"date-parts":[[2026]]},"publisher":"Hubert Ritzdorf","URL":"https://github.com/ethereum/EIPs/blob/master/EIPS/eip-8219.md","note":"Rights status: Licensed for redistribution. Not a licence to republish the paper."}]