Home
Notification
Profile
Trending Articles
News
Bookmarked and Liked
History
Creator Center
Settings
Veridise
--
Follow
Get an overview of Veridise’s ZK tools and a glimpse into what’s next. @IsilDillig shares our future directions at the @a16zcrypto event.
Disclaimer: Includes third-party opinions. No financial advice. May include sponsored content.
See T&Cs.
653
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
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 🧵
--
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.
--
Are over-constrained circuits a challenge in zero-knowledge circuits? Which poses a bigger threat: under-constrained or over-constrained circuits? @IsilDillig breaks it down.
--
Under-constrained circuits are the most common source of ZK circuit vulnerabilities. What does this really mean in technical terms? @IsilDillig shares.
--
Latest News
Tokenized Real-World Assets Reach Record High in TVL Growth
--
Gold Prices Rise Amid U.S. Tax Bill Concerns
--
Alibaba Cloud Expands Data Centers in Southeast Asia to Enhance AI Capabilities
--
Hong Kong's Leading Pharma Biotech Sees Stock Surge Amid Blockchain Acquisition Plans
--
American Bitcoin and Gryphon Digital Mining Announce Merger Plans
--
View More
Sitemap
Préférences en matière de cookies
Platform T&Cs
