timroughgarden / fob21Links
Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)
☆49Updated last year
Alternatives and similar repositories for fob21
Users that are interested in fob21 are comparing it to the libraries listed below
Sorting:
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 4 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- ☆58Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆66Updated 3 years ago
- Book showing how to interact with Ethereum from Rust☆43Updated 4 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated last year
- Zero-Knowledge Proofs "for (not too much ) dummies"☆123Updated 2 years ago
- Proof-of-concept code for backrunning private transactions using MPC.☆64Updated 2 years ago
- ☆138Updated 3 years ago
- Code for Dynamic Pricing for Non-fungible Resources☆17Updated 3 years ago
- RMM-01 Simulations☆50Updated 2 years ago
- source for 2λ.com☆47Updated 2 months ago
- ☆90Updated 4 years ago
- Transaction markets in Python☆60Updated 3 years ago
- ☆126Updated 4 years ago
- List of Squeeth Resources and Threads☆34Updated 3 years ago
- Zero-knowledge Sudoku using zk-SNARKs☆48Updated 3 years ago
- Publications of Runtime Verification, Inc.☆93Updated 3 months ago
- TWAMM Reference Implementation☆125Updated 4 years ago
- Curation of useful libs for starknet development.☆42Updated 3 years ago
- ERC20 token swaps via gradual dutch auctions☆44Updated 3 years ago
- ☆92Updated 2 years ago
- 1-click deployment of a Starknet node to a Raspberry Pi, powered by balena.☆58Updated 3 years ago
- gas efficient & flexible settlement layer for options (derivatives)☆110Updated last year
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆107Updated last year
- Repo for Tracer Pool Swaps Protocol☆28Updated 2 years ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 3 years ago
- Solidity codegen tool for efficient ABI encoding/decoding.☆94Updated last year