The pace at which AI technology is progressing is absolutely mind blowing. But man, we as an industry, REALLY need to ramp up building ZK proofs of digital content… like right tf now 💀 https://youtu.be/Ld8fYInYVQo?si=lNNwzRNAZ9jAr4fo
- 0 replies
- 0 recasts
- 0 reactions
Also, I really think being able to formally verify while building the EL would be super viable long term.
- 0 replies
- 0 recasts
- 0 reactions
Thoughts on building an Eth execution layer with LEAN4? We could write both the spec AND the implementation in the same language. Seems promising but I’d like to hear more.
- 0 replies
- 0 recasts
- 0 reactions