timroughgarden / fob21
Course Site for Foundations of Blockchains (Columbia University, Fall 2021 semester)
☆44Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for fob21
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.☆90Updated last year
- Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.☆113Updated 6 months ago
- ☆68Updated last year
- Proof-of-concept code for backrunning private transactions using MPC.☆63Updated last year
- StableSims is an open-source project aimed at simulating MakerDAO's Dai stablecoin system, initially used for researching optimal incenti…☆53Updated 2 years ago
- ☆49Updated 11 months ago
- Fixed point solidity exponentiation.☆75Updated 2 years ago
- ☆98Updated last year
- gas efficient & flexible settlement layer for options (derivatives)☆112Updated 7 months ago
- A Brainfuck zkVM with Circom.☆58Updated last year
- ☆60Updated last year
- Transaction markets in Python☆55Updated last year
- proof first, evm specific smt solver☆68Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆73Updated 9 months ago
- Assessing the nature and impact of MEV in eth2.☆67Updated last year
- Solidity codegen tool for efficient ABI encoding/decoding.☆92Updated 3 weeks ago
- Math library written in solidity for statistical function approximations like the Normal Cumulative Distribution Function.☆118Updated 11 months ago
- The open-source repository mev.fyi aggregates research on Maximal Extractable Value (MEV). Explore curated academic papers, community con…☆62Updated this week
- A gas competition to see who the best optimizor is☆74Updated 2 years ago
- ☆23Updated 2 months ago
- Local end-to-end environment for Ethereum L1 block building☆53Updated last week
- ☆56Updated last year
- ☆126Updated 2 years ago
- ☆47Updated last year
- Python simulator to test implementation of the RMMS paper results.☆55Updated 2 years ago
- ☆86Updated last year
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- RMM-01 Simulations☆50Updated last year
- Gas efficient routers for L2 applications☆113Updated 2 years ago