Home
Notification
Profile
Trending Articles
News
Bookmarked and Liked
History
Creator Center
Settings
Veridise
--
Follow
Greetings from @EthCC — Our CTO @KFerles is sharing how we deliver lasting determinism for zkVMs such as @RiscZero
Disclaimer: Includes third-party opinions. No financial advice. May include sponsored content.
See T&Cs.
4
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
Day 1 at @EthCC wrapped up — and all the swag in the photo? Gone. The raccoon was a crowd favorite 🦝 We’ve still got a few left, so swing by tomorrow if you’re around!
--
New blog post! Identifying Common Vulnerabilities in zkVMs (this is Part II of our zkVM Security Series) While zkVMs help abstract away ZK complexity, they don’t eliminate all pitfalls 🧵
--
Get an overview of Veridise’s ZK tools and a glimpse into what’s next. @IsilDillig shares our future directions at the @a16zcrypto event.
--
Our ZK detection tools previously timed out on 30% of ZK circuits. How did we solve this? @IsilDillig shares insights from our recent research paper.
--
How do we keep ZK circuits rock-solid and deterministic during audits? Our co-founder @IsilDillig shares insights on combining static analysis and SMT solvers in our ZK tools.
--
Latest News
Bitcoin's Volatility Hits Record Low, Analyst Predicts Imminent Surge
--
SharpLink Gaming Increases ETH Stake to $458 Million
--
Zhongshan Public Utility Clarifies Position on Stablecoin Licensing
--
Ethereum Stablecoin Supply Reaches Record High
--
U.S. Lifts Export Restrictions on Chip Design Software to China
--
View More
Sitemap
Préférences en matière de cookies
Platform T&Cs
