[{"type":"report","id":"BLC-STUDY-1233","title":"Overflow checking for the EVM","author":[{"literal":"Nick Johnson"}],"issued":{"date-parts":[[2018]]},"publisher":"Nick Johnson","URL":"https://github.com/ethereum/EIPs/blob/master/EIPS/eip-1051.md","note":"Rights status: Licensed for redistribution. Not a licence to republish the paper."}]