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:
- Zero-knowledge gadget for Sparse Merkle Tree.☆19Updated 3 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
- Visor specific Uniswap v3 managed position analytics☆29Updated 2 years ago
- ☆16Updated 4 years ago
- Forerunner: Constraint-based Speculative Transaction Execution for Ethereum☆101Updated 2 years ago
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Updated last month
- Guess what☆77Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Updated 3 years ago
- A collection of blockchain-related SoK papers.☆18Updated 3 years ago
- ☆19Updated 4 years ago
- Reduce Chaos in MemPool 😌☆89Updated 3 years ago
- SW Repo; Content Manager: CES-001; MIP21 Toolkit: Equipment for Off-chain Asset Backed Lending in MakerDAO☆15Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆59Updated 3 years ago
- ☆17Updated 6 months ago
- ☆11Updated 3 years ago
- zkp data market☆18Updated 4 years ago
- ☆18Updated 3 years ago
- Minimal Ethereum RPC Client in Rust☆11Updated 2 years ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- ☆18Updated 3 months ago
- Solidity source debugger built around EthereumJS☆25Updated 2 weeks ago
- Core smart contracts of AnimeSwap v1☆39Updated 2 years ago
- Miner extractable value modeling and tools.☆65Updated 4 years ago
- ☆11Updated 3 years ago
- Cuda implementation of EVM bytecode executor☆116Updated last year
- ☆18Updated 5 years ago
- Blockchain Architecture study and learn, 区块链技术架构研究和学习☆20Updated 3 years ago
- A smart contract to enhance the user experience of the `eth2` deposit contract.☆27Updated last year
- A static analyzer for NEAR smart contract in Rust☆110Updated 2 years ago