
Mikko Ikola
@MikkoIkola
Followers
2K
Following
864
Media
269
Statuses
2K
Blockchain security, Ethereum L2s, zk, scaling | VP of Marketing @VeridiseInc | Prev. @taikoxyz, @KERNEL0x KB5
Joined June 2009
Still trying to wrap your head around zkVMs? Our security analyst Tyler just wrote an introduction piece. Check it out, it's worth your brain cells.
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 š§µ
0
0
1
Did you know stablecoins weekly transaction volumes have already exceeded Visaās?.
Deep Dive: A Primer on Stablecoins. Last year, Visa announced the launch of the Visa Tokenized Asset Platform, a new infrastructure designed to help banks issue and manage stablecoins and tokenized deposits. This week, Stripe began testing a stablecoin pilot, aiming to help
0
0
2
Can a growth mindset land you in the hospital? Just started reading @rogerkverās book on the hidden history of BTC.
0
0
0
Thanks @BruestleJeremy for dropping by our Denver video spot and sharing your thoughts on ZK security. It was fun and insightful!.
ā š„ Watch a 7-min chat with @RiscZero CEO @BruestleJeremy on his founding journey, RISC Zero's security priorities, and his experience with @VeridiseInc.
0
0
1
Security audits are great but provide a one-time guarantee. When the codebase evolves, you need to re-audit. Whatās the next level in ZK security? Mathematical proving & automated continuous verification without slowing development. Which is exactly what we did with @RiscZero.
RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM thatās both incredibly fast and provably secure, so developers never have to compromise.
0
0
2
RT @VeridiseInc: We're excited to announce that we've been awarded a grant from the @ethereumfndn to build an open-source Intermediate Reprā¦.
0
5
0
RT @rowancheung: I think China's second DeepSeek moment is here. This AI agent called 'Manus' is going crazy viral in China right now. Prā¦.
0
3K
0
.@BruestleJeremy (CEO) from @RiscZero presenting Boundless at Denver:. - On every chain.- For every developer.- At every scale.- At lowest (and rapidly falling) prices.- Industrial grade security
0
0
0
First Noircon by @aztecnetwork ā @Zac_Aztec summarizing how to pierce the web3 bubble with privacy:. - Interface with web2 systems .- Link accounts to identities .- Establish digital sovereignty
0
4
20
Taking off to Denver tomorrow! š«. Catch you soon at L2Day, The Rollup Day, and ZK HUB.
Heading to ETH Denver!. Join us to hear insights about ZK & ZK-VM security at L2Day, The Rollup Day, and ZK HUB. Come by with your pressing security questions and snag free Veridise lip balms! We host a booth at all events. Check out our talks & register below š§µ. 1/5
0
0
2
Yes, our team can digest your 800-page documentation and still have room for dessert. Not all security auditors are created equal! :) High five @bensepanski.
Donāt just take our word for itāhear directly from industry leaders their experience working with Veridise: @LineaBuild, @o1_labs, @RiscZero, and @DemoxLabs.
0
0
0