[{"type":"report","id":"BLC-STUDY-1441","title":"Arithmetic verification at EVM level","author":[{"literal":"Renan Rodrigues de Souza"}],"issued":{"date-parts":[[2023]]},"publisher":"Renan Rodrigues de Souza","URL":"https://github.com/ethereum/EIPs/blob/master/EIPS/eip-6888.md","note":"Rights status: Licensed for redistribution. Not a licence to republish the paper."}]