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.1762
+1.55%
778
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
Trump Urges Swift Passage of Stablecoin Legislation
--
A16z's Social Media Account Briefly Compromised
--
Senate Approves GENIUS Act to Boost Digital Asset Innovation
--
Telegram Founder Warns of Potential Societal Collapse in France
--
UK to Propose New Crypto Asset Regulations for Banks by 2026
--
View More
Trending Articles
SHORT SUMMARY – FED PRESS CONFERENCE: POLICY FRAMEWORK, AI,
Winner_688-688
📉 Why Does Crypto Crash? Here’s a Simple Explanation for Binance Traders 💡📲
Nobizu
🚨 TOMORROW = MAKE OR BREAK FOR CRYPTO 🚨 The FOMC will fina
defaulters empire
Mysterious Chinese Cargo Flights Disappear Near Iran Amid Weapon Transfer Rumors
Coinfomania
Donald Trump Makes Important Statements Ahead of Critical Interest Rate Decision, Calls Powell ‘Stup
Cht-Calls
View More
Sitemap
Cookie Preferences
Platform T&Cs