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:
- ☆90Updated 4 years ago
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆56Updated 4 years ago
- Analysis of MEV-Boost, PBS and Block building on Ethereum☆107Updated last year
- ☆139Updated 3 years ago
- Evolution of the Ethereum Proof-of-Stake Consensus Protocol☆174Updated 2 years ago
- Primitive Replicating Market Maker smart contracts☆131Updated last year
- Proof-of-concept code for backrunning private transactions using MPC.☆64Updated 2 years ago
- Publications of Runtime Verification, Inc.☆93Updated 4 months ago
- An online playground for zero knowledge circuits☆153Updated 8 months ago
- ☆77Updated 2 years ago
- Dark Forest zkSNARK circuits☆122Updated 2 years ago
- Python simulator to test implementation of the RMMS paper results.☆56Updated 3 years ago
- A fast, self-contained environment for end-to-end block building on L1s and L2s.☆124Updated this week
- ☆58Updated 2 years ago
- Robust Incentives Group☆133Updated 10 months ago
- ☆57Updated 3 years ago
- Assessing the nature and impact of MEV in eth2.☆66Updated 3 years ago
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆114Updated last year
- ☆93Updated 4 years ago
- proof first, evm specific smt solver☆69Updated 3 years ago
- ☆92Updated 2 years ago
- ☆46Updated 2 years ago
- TWAMM Reference Implementation☆125Updated 4 years ago
- Demo of ML for MNIST classification in a zero knowledge proof☆126Updated 3 years ago
- Tools for STARK proving using cupy☆176Updated 3 months ago
- ☆110Updated last year
- Book showing how to interact with Ethereum from Rust☆43Updated 4 years ago
- private quantized linear regression on Ethereum☆215Updated 3 years ago
- ☆56Updated 2 years ago
- Curation of useful libs for starknet development.☆42Updated 3 years ago