Alex Euler's starred repositories
bellpepper
SNARK Circuit library
tendermintx
Implementation of zero-knowledge proof circuits for Tendermint.
awesome-circom
A curated list of repos related to Circom
nestjs-realworld-example-app
Exemplary real world backend API built with NestJS + TypeORM / Prisma
ethersplay
EVM dissassembler
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
abdk-libraries-solidity
Open-Source Libraries for Solidity by ABDK Consulting
awesome-provable
A curated set of links to formal methods involving provable code.
zkevm-chain
zkevm-chain: Deprecated
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
cacheable-beacon-proxy
Upgradeable proxy with the least possible gas overhead.
ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
DeFi-Developer-Road-Map
DeFi Developer roadmap is a curated Developer handbook which includes a list of the best tools for DApps development, resources and references!
building-secure-contracts
Guidelines and training material to write secure smart contracts
tokenlibs-with-proofs
Correctness proofs of Ethereum token contracts
ethereum-libraries
Library contracts for Ethereum
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
cryptokitty-designer
Simple tool to design, visualize and find CryptoKitties.
awesome-rust
A curated list of Rust code and resources.
rust-anthology
Learn Rust from the best