Home
Notification
Profile
Trending Articles
News
Bookmarked and Liked
History
Creator Center
Settings
Veridise
--
Follow
Learn @zktrivo's (Engineer Team Lead at @o1_labs) experience working with Veridise, and how we've supported @MinaProtocol community.
Disclaimer: Includes third-party opinions. No financial advice. May include sponsored content.
See T&Cs.
MINA
0.1738
-2.46%
774
0
Explore the latest crypto news
⚡️ Be a part of the latests discussions in crypto
💬 Interact with your favorite creators
👍 Enjoy content that interests you
Email / Phone number
Sign Up
Login
Relevant Creator
Veridise
@veridise
Follow
Explore More From Creator
Zero-knowledge virtual machines (zkVMs) are changing how we build provable apps. They let devs write programs in familiar languages—then prove correctness without re-executing them. Tyler, our security analyst, wrote up a great explainer to kick off our zkVM Security Series 🧵 1/6
--
Discover Olivier's @zk_evm insights, as he shares his experience working with Veridise on the security audit of Linea's ZK-VM. Olivier works as Arithmetization Lead at @LineaBuild.
--
💡 Why formal verification matters in blockchain: Testing finds bugs that exist. Formal verification proves certain bugs can’t exist. When securing millions in DeFi, math is king.
--
We're back with the top 3 blockchain security news of the last 3 weeks: The story continues below 🧵
--
Tune in for a deep-dive fireside chat with Rami Khalil (@hashcashier), Senior Protocol Engineer at @RiscZero and @boundless_xyz, as we explore the design space for building applications on the RISC Zero zkVM. Hosted by @FormallyJon from @VeridiseInc. https://www.youtube.com/watch?v=fQ4T8D-YhbQ
--
Latest News
SaturnX Secures $3 Million in Seed Funding to Expand Stablecoin Payment Services
--
Ondo Finance Launches Global Markets Alliance to Enhance Tokenized Securities
--
Fed Chair Powell Unlikely to Announce Rate Cut, Says DataTrek Co-Founder
--
South Korea to Invest in AI Development Over Five Years
--
Security Alert: Verification of WeChat Account Theft Methods
--
View More
Sitemap
Cookie Preferences
Platform T&Cs
