solidity   283

« earlier    

JelloPaper
Human Readable Semantics of EVM in K
evm  ethereum  solidity  blockchain  formalmethods 
4 days ago by Z303
Ethernaut Lvl 14 Gatekeeper 2 Walkthrough: How contracts initialize (and how to do bitwise…
2. Second, based on just the transaction’s input data, the new contract’s designated address is (pre)calculated. At this stage, the input state values are modified, but the new contract’s state is…
solidity  ethereum  security 
12 weeks ago by twleung

« earlier    

related tags

app  arrays  art  assembler  assembly  assert  atom  auction  audience  batchoverflow  blockchain  bootstrap  bug  bytecode  character  clojurescript  code  contract  contracts  course  courses  criptomonedas  crypto  cryptocurrency  cryptodev  ctf  dapp  dapps  datasource  debugger  dev  development  devotional  docker  documentation  editor  eip  energy  erc20  eth  ether  ethereum  etherum  evm  ewasm  fees  film  finite  formalmethods  framework  fsm  ganache  gas  github  graphical  hacking  health  ide  intimacy  ipfs  javascript  jobs  js  landscape  learning  leiningen  life  light  machine  medium  metamask  model  modelling  montage  nathanieldorsky  ooo  opcode  openzeppelin  package  profiler  programming  proxy  quality  random  reference  reflection  remix  require  revert  roulette  salary  screen  sculpture  security  serialize  silent  smart-contracts  smart  smart_contract  smart_contracts  smartcontract  smartcontracts  solitude  stablecoin  standards  state  storage  string  subscriptions  time  tokens  tool  toolkit  tools  top  truffle  twitter  upgrade  vision  vscode  vulnerabilities  vyper  web-ide  web3  webdev  webpack  whitepaper  zeppelin  zeppelin_os 

Copy this bookmark:



description:


tags: