๐จ New ep alert! Are TEEs even real?
In this episode,
@alysiatech &
@ellierdavidson speak with
@OrestTa from
@t1protocol about ZK proofs, TEEs, L2 security & how these concepts relate to blockchain finality.
The conversation (timestamps below!) covers:
๐
@VitalikButerin's recent proposal for a "two out of three" proof system
๐ TEEs, their strengths & vulnerabilities
๐ ZK proofs vs TEE proofs
๐ How t1 uses TEEs restaking periodic ZKPs
๐ How this all relates to L2 security & finality
Timestamps:
1:00 - skip the intro & dive straight in: Ellie introduces
@VitalikButerin's 2/3 proof proposal and the episode's guest, Orest from t1
2:29 - Orest shares his experience as an early engineer at
@Scroll_ZKP
3:58 - Why ZK rollups haven't succeeded at scaling Ethereum
5:25 - Orest and
@kisaguncan, former co-founder of
@SecretNetwork, launch t1 protocol to use TEEs to prove rollup integrity
6:24 - What is a TEE? (long explanation)
10:29 - What's a TEE? (concise explanation)
10:59 - How is t1 using TEEs?
12:32 - Remote attestion & why it's a misunderstood term
16:50 - Vitalik's blog post that proposes using a 2/3 proof system (ZK proofs, TEE proofs, optimistic proofs) and proof aggregation to increase security
19:00 - Why aren't ZK proofs enough?
20:29 - Difference between ZK proofs and TEE proofs
28:18 - Side-channel attacks and potential vulnerabilities in TEEs
32:03 - Using TEEs for integrity rather than confidentiality
38:05 - Centralization challenges & security benefits of multiple TEE vendors
41:10 - Mention of projects like Autonomous TEE from
42:35 - Back to Vitalik's post & how t1 uses TEEs cryptoeconomic security periodic ZKPs
44:50 - t1's use of restaking
49:43 - Closing thoughts on TEEs and their future use in crypto