@vuonglong
🔥 Succinct x Nethermind – SP1 Verification Is On! 🚀
Yo bros, big news! @SuccinctLabs just teamed up with @NethermindEth to verify SP1 using Lean! 💪 This is HUGE for ZK security!
What’s up:
✅ They’re proving SP1’s correctness with formal verification!
✅ Already verified the AddSub chip for 32-bit ops – more ALU circuits next!
✅ Goal: Full verification against RISC-V spec for max security!
💡 Why it’s hot: SP1 is a zkVM beast – real-time Ethereum proving in <12s! With Nethermind’s ZK expertise, this gem is getting even stronger! 🔥
Don’t sleep on this, bros! Succinct is killing it!
1 reply
0 recast
2 reactions