Mikerah / awesome-foundations-of-DeFiLinks
An Awesome List for resources on the foundations of Decentralized Finance (DeFi)
☆225Updated 2 years ago
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
Sorting:
- Repository for Huff - an EVM programming language☆239Updated 5 years ago
- A guide to available tools and projects for analyzing and managing risk within DeFi.☆174Updated 3 years ago
- Contains lists of things to know/remember in different topics☆187Updated 4 years ago
- Privacy 2.0 for Ethereum☆301Updated 2 years ago
- A low level assembly language for the Ethereum Virtual Machine☆259Updated 3 years ago
- Implementation of a novel practical scheme for submarine commitments☆229Updated 3 years ago
- ☆164Updated 3 years ago
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash☆287Updated last month
- Introduction to Zero Knowledge Proof☆246Updated last year
- Robust Incentives Group☆133Updated 10 months ago
- Website for the Underhanded Solidity Contest☆169Updated last year
- Publications of Runtime Verification, Inc.☆93Updated 4 months ago
- A curated list of awesome resources about blockchain scalability☆64Updated 2 years ago
- A pocket knife for auditing smart contracts.☆258Updated 3 years ago
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆168Updated 3 years ago
- Fourth cohort of Ethereum Protocol Fellowship☆203Updated last year
- solidity --> zApp transpiler☆200Updated 2 weeks ago
- A curated list of DeFi product management resources☆93Updated 3 years ago
- A list of resources related to scaling with rollups.☆58Updated last year
- A curated list of token bonding curve code and resources.☆113Updated 3 years ago
- ☆111Updated 3 years ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 7 months ago
- Get up to speed on dapptools☆152Updated 4 years ago
- Materials related to security: docs, checklists, processes, etc...☆203Updated 3 months ago
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- A curated collection of links for zero-knowledge proof cryptography used in blockchains☆75Updated last year
- Build your zkp app with typescript, hardhat, circom, and snarkjs!☆225Updated 2 years ago
- An reference implementation of Gradual Dutch Auctions. GDAs enable the efficient sale of assets that do not have liquid markets.☆210Updated 3 years ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆336Updated 10 months ago
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆124Updated last year