berkeley-defi / berkeley-defi.github.ioLinks
Course website for Berkeley DeFi
☆45Updated 3 years ago
Alternatives and similar repositories for berkeley-defi.github.io
Users that are interested in berkeley-defi.github.io are comparing it to the libraries listed below
Sorting:
- Forerunner: Constraint-based Speculative Transaction Execution for Ethereum☆101Updated 2 years ago
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆59Updated 2 years ago
- Building the first permissionless layer2 orderbook DEX on Ethereum, powered by PLONK zk-rollup☆39Updated 4 years ago
- ☆16Updated 4 years ago
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago
- ☆19Updated 4 years ago
- Simple version of Tornado Cash which is a private transactions solution based on zkSNARKs with hardhat development environment, ethers.js…☆46Updated 4 years ago
- Visor specific Uniswap v3 managed position analytics☆29Updated 2 years ago
- Reduce Chaos in MemPool 😌☆89Updated 3 years ago
- Publications of Runtime Verification, Inc.☆93Updated 4 months ago
- Miner extractable value modeling and tools.☆65Updated 4 years ago
- Core smart contracts of AnimeSwap v1☆39Updated 2 years ago
- Guess what☆77Updated 2 years ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- Cuda implementation of EVM bytecode executor☆116Updated last year
- TypeScript types and a JSON Schema for the Solidity AST☆97Updated last month
- A fast zero-knowledge proof friendly Move language runtime environment.☆47Updated 2 years ago
- An implemention of 4337 and a wrapped SDK for DApps and a Dapp demo☆107Updated 3 years ago
- Formal verification of WETH9.sol with Z3☆59Updated 3 years ago
- A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).☆33Updated 3 years ago
- 📃 List of articles and materials about Modular Blockchain☆22Updated 3 years ago
- Empirical Analysis of EIP-1559: Transaction Fees, Waiting Time, and Consensus Security☆22Updated 2 years ago
- ☆30Updated last year
- ☆18Updated 3 years ago
- zkp-co-learning☆64Updated last year
- ☆25Updated last year
- Anonymity research tools for Tornado Cash. Contains deposit reuse clustering and TCash-specific reveals. Whitepaper: https://arxiv.org/…☆132Updated 2 years ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 years ago
- private quantized linear regression on Ethereum☆215Updated 3 years ago
- A zero-knowledge Move language runtime environment.☆84Updated 8 months ago