misc smart contracts

[monperrus]

No description provided.

[monperrus]

ZeroSeeker is a Rust-based command-line utility that generates Ethereum contract addresses with a specified number of leading or total zero bytes. Specialized for deployment of non-deterministic contracts, ZeroSeeker generates a private key whose initial nonce can be used to generate a contract with chosen amount of leading or total zero bytes.

https://github.com/darkforestry/zero-seeker

[monperrus]

Finding selectors with zeros for gas optimization (less expensive)

https://github.com/jeffreyscholz/solidity-zero-finder-rust

https://github.com/kadenzipfel/function-selector-miner (rust)

[monperrus]

gas optimization

Gas golfing plays an important role in smart contract engineering
https://a16zcrypto.com/winning-the-iamtheoptimizor-challenge/

[monperrus]

more golfing
https://github.com/kadenzipfel/gas-optimizations

[monperrus]

and a golf course https://github.com/ZeroEkkusu/re-golf-course

[monperrus]

The Earth is flat but Solidity source code is not. flaterra fixes that.
https://github.com/cleanunicorn/flaterra

[monperrus]

Programmable donations: exploring escrow-based conditional giving 2019

[monperrus]

https://github.com/iskdrews/awesome-solidity-gas-optimization

[monperrus]

More papers for less gas: A Max-SMT superoptimizer for EVM handling memory and storage 2022

[bbaudry]

Implementation of Diploma and Transcript Verification System on the Ethereum Blockchain Network
@alegust @lerjevik

[monperrus]

OWASP
Smart Contract Security Verification Standard 0.0.1 56 pages
Smart Contract Security Testing Guide 54 pages