inovo_erc721_pbt.pdf
dcc.fc.up.pt · 11,330 words · saved by 1 readers
N/A
FACULDADE DE CIÊNCIAS - Ano Letivo 2020/2021 DEPARTAMENTO DE CIÊNCIA DE COMPUTADORES Projeto Property-based testing of ERC-721 Ethereum smart contracts Isac Daniel de Figueiredo Novo 200403278 Índice 1 Introduction 2 1.1 Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.2 Problem Statement . . . . . . . . . . . . . . . . . . . . . . . .…
saved by
related reading
- The Hitchhiker's Guide to Ethereum - Delphi Digitalmembers.delphidigital.io
- Solidity Patternsfravoll.github.io
- 370.pdfeprint.iacr.org
- Asset Based Intent Standard: An Intent Standard for the World of Digital Assetsblog.essential.builders
- Unbundling PBS: Towards protocol-enforced proposer commitments (PEPC) - Economics - Ethereum Researchethresear.ch
- #1 Solidity Tutorial & Ethereum Blockchain Programming Course | CryptoZombiescryptozombies.io
- Introduction to Smart Contracts — Solidity 0.8.38-develop documentationdocs.soliditylang.org
- thesis.pdfaayushg.com
- btcProcFC.pdfcs.cornell.edu
- Introducing ERC-7521: Generalized Intents for Smart Contract Walletsblog.essential.builders
- REVM Is All You Need. How to build simulated blockchain… | by Solid Quant | Mediummedium.com
- ERC-1155: Multi Token Standardeips.ethereum.org