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:

https://twitter.com/eth_call

Follow Metropolis:

https://twitter.com/0xMetropolis

Follow Kevin:

https://twitter.com/kevin_weaver

Follow Chase:

https://twitter.com/chaserchapman

___________________________

Check out

https://www.metropolis.space/

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