Horsefacts.eth is an independent smart contract engineer. In this episode, we discuss:
___________________________
Links to Horsefacts’ recommended tools:
Certora - https://www.certora.com/
Halmos - https://github.com/a16z/halmos
Foundry - https://github.com/foundry-rs/foundry
___________________________
Follow Horsefacts:
Follow Metropolis:
https://twitter.com/0xMetropolis
Follow Kevin:
https://twitter.com/kevin_weaver
Follow Chase:
https://twitter.com/chaserchapman
___________________________
Check out
Subscribe to Over Abstraction on Spotify and Apple Podcasts
https://open.spotify.com/show/1TEKcyg...
___________________________
Timecodes
0:00 Intro
1:39 Welcome Horsefacts
2:09 Horsefacts’ background
8:33 Smart contract design in DeFi compared to consumer applications
12:11 Intro to Farcaster
13:06 Farcaster Hubs
13:53 Sufficient decentralization on Farcaster
16:13 When to use standards
20:10 FIDs
22:40 Comparing Farcaster with other web3 social apps
24:00 EdDSA vs. ECDSA
25:13 Migrating data to new contracts on Farcaster
28:12 Tradeoffs between L1s and L2s
29:33 Testing on an L2 vs. an L1
30:57 Benefits of working in the EVM
33:37 Approaches to testing
38:20 Formal verification
39:49 Tools worth checking out
41:45 Follow Horsefacts
42:33 Outro
