DeFi
Onchain markets, credit, and trading.
4703 talks
- Researchers and Auditors at the Core of the Development of a DeFi Protocol
- The State of DeFi Insurance 2023
- Onchain Oracle Design, Security Considerations, and Cost of Manipulation
- Automated Flash Loan Attack Synthesis
- Optimizing Code Without Getting REKT
- Formally Verifying Morpho
- Simple Economic Risk Approximation
- Economic Risks Panel
- Enhancing Smart Contract Security Across the Supply Chain
- Lido V2 Upgrade from a Security Perspective
- Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part II
- DeFi Invariants: Examples and Challenges
- Where to Introduce Formal Verification on a DeFi Protocol like Aave - Part I
- JitoSol: Building Solana's Hot Seat DeFi Moment | Lucas Bruder (Buffalu)
- Rocket Pool Community Call | 12 July 2023
- Linea alpha mainnet, CowSwap Hooks and more - The Daily Gwei Refuel #621 - Ethereum Updates
- Is Liquid Staking Winner Take All? | Hasu
- Easy StarkNet Opportunity: zkLend Money Market Demo
- Should Jay sell his Moonbird?
- What's the Future for Airdrops? | Roundup
- Ethereum, Composability and Creating Options w/ Dan Ugolini (Rysk Finance)
- How Osmosis Could Become Cosmos' DeFi Hub | Sunny Aggarwal
- The End Game for Liquid Staking | S5 Premiere
- DeFi NFTs on Ethereum with real-time