Home
Notification
Profile
Trending Articles
News
Bookmarked and Liked
Creator Center
Settings
LIVE
Veridise
--
Follow
Final presentation of the Bangkok week! @FormallyJon is sharing bug examples in the wild, with a summary of insights from our 100 recent audits.
Disclaimer: Includes third-party opinions. No financial advice. May include sponsored content.
See T&Cs.
297
0
Replies
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
LIVE
Veridise
@veridise
Follow
Explore More From Creator
Keynote about ZK Circuits in dApps and the biggest pitfalls to avoid by @FormallyJon at @epicweb3 L2Con. May you stay ZK bug-free! 🪲 Recording coming soon.
--
Greetings from @epicweb3 L2Con! We’re all stocked up with our merch, including the surprisingly popular “Excuse if I’m SNARKy” T-shirts 👀
--
Greetings from the Formal Verification Hangout! @FormallyJon delivered a 8-minute lightning talk on Unifying ZK: A Comprehensive DSL Framework for Tomorrow. Check it out! A longer presentation on the same topic will be available soon.
--
Time for the top 3 blockchain security news of the week: 1) @metawincom hacked for $4M 2) Attackers took over @wizkhalifa's X account to promote crypto scam 3) Canadian police praised @Tether_to for stolen funds' recovery The story continues below 🧵
--
.@FormallyJon analyzed the features of various ZK languages/frameworks in his talk at ZK Accelerate earlier today.
--
Latest News
SEC Chair Gary Gensler Hints At Possible Departure
--
UK Government to Pilot Digital Gilt Instrument Using DLT
--
FDIC Survey Highlights Increased Crypto Use Among Underbanked Households
--
Tron Address Holding Over 39 Million USDT Frozen
--
Tether Launches Hadron Platform for Asset Tokenization
--
View More
Sitemap
Cookie Preferences
Platform T&Cs
