Mikerah / awesome-foundations-of-DeFi
An Awesome List for resources on the foundations of Decentralized Finance (DeFi)
☆220Updated last year
Alternatives and similar repositories for awesome-foundations-of-DeFi:
Users that are interested in awesome-foundations-of-DeFi are comparing it to the libraries listed below
- A low level assembly language for the Ethereum Virtual Machine☆260Updated 2 years ago
- Build your zkp app with typescript, hardhat, circom, and snarkjs!☆225Updated last year
- Repository for Huff - an EVM programming language☆233Updated 4 years ago
- Robust Incentives Group☆123Updated last year
- solidity --> zApp transpiler☆192Updated this week
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆382Updated last year
- Privacy 2.0 for Ethereum☆281Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆226Updated last year
- Implementation of a novel practical scheme for submarine commitments☆227Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆279Updated last month
- ☆161Updated 2 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆166Updated 2 years ago
- Introduction to Zero Knowledge Proof☆242Updated last month
- A guide to available tools and projects for analyzing and managing risk within DeFi.☆166Updated 2 years ago
- Learning Cryptography in Public☆173Updated 2 years ago
- Draw EVM contract byte code☆122Updated 2 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆74Updated last month
- A pocket knife for auditing smart contracts.☆257Updated 2 years ago
- Contains lists of things to know/remember in different topics☆184Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆323Updated last year
- Fourth cohort of Ethereum Protocol Fellowship☆201Updated 7 months ago
- ☆210Updated 4 months ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆207Updated 2 years ago
- Merkle Proof Generator and Validator in Solidity☆438Updated 2 months ago
- 🕵️ allows you to see internal calls, events and storage operations in the console☆357Updated 4 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆118Updated 2 years ago
- Ethereum transaction decoder (community version).☆270Updated last year
- HTTP Library for Solidity based on curl☆327Updated last year
- A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.☆445Updated 7 months ago
- A collection of EVM related information.☆328Updated last year