Mathematician. ZK Folding @NovaNet_zkp. PhD candidate in post-quantum cryptography @ImperialCollege. I care about privacy and human flourishing. Prev. @anoma LondonJoined August 2021
I am becoming more and more a webGPU maxi. Why?
WebGPU works on many devices.. now its even on by default in iOS 26.
We open-sourced a MSM webGPU lib and will expand support in the coming months. On-device proving — needs this.
github.com/ICME-Lab/msm-w…appdevelopermagazine.com/webgpu-in-ios-…
This book articulates something I’ve fought for my whole career: goals and team metrics lead to mediocre outcomes. Actually novel work must be exploratory.
as promised: jolt.a16zcrypto.com/how/architectu…
note that some sections of the docs are still under construction (lots to update after the Twist/Shout upgrade 🥵)
as promised: jolt.a16zcrypto.com/how/architectu…
note that some sections of the docs are still under construction (lots to update after the Twist/Shout upgrade 🥵)
The story of Verifiable AI is the story of state of the art technologies. Zero knowledge machine learning (zkML) just got 7x faster... still only on CPU. 🤯
The IC can easily handle 50KB proof verifications.
'Impossibly impractical' to 'imminently possible and practical' 🤩
The story of Verifiable AI is the story of state of the art technologies. Zero knowledge machine learning (zkML) just got 7x faster... still only on CPU. 🤯
The IC can easily handle 50KB proof verifications.
'Impossibly impractical' to 'imminently possible and practical' 🤩
1/ We made verifiable AI (zkML) 3-7x faster than everyone else! Here's how.
We asked a simple question. What if we modified a16z Crypto's sumcheck based & lookup-centric zkVM "JOLT" for ML operations?👇🧵
Mary Wootters probably provides some of the best educational resources on Youtube about error correcting codes
If you don't know anything about this, you should absolutely watch "Error error error correcting correcting correcting codes codes codes"
youtube.com/watch?v=xE4jEK…
Google released Gemma 3 270M. It works with 0.5GB memory on-device😎
User owned AI memory is essential in leveraging these LLM advances from different providers.
If you have not yet - you should install the plugin & start creating your AI memory TODAY.
chromewebstore.google.com/detail/kinic/m…
1/ Jolt just announced a 6× speedup in zkVM proving: now pushing over 1M RISC-V cycles/sec on a 32-core CPU, with proof sizes around 50 KB.
Let’s break it down. 🧵
1/ Jolt just got a 6× speedup. We now prove over 1,000,000 RISC-V cycles/sec on a 32-core CPU and over 500,000 cycles/sec on a MacBook, with proofs of about 50 KB. Here’s what’s new 🧵
🪄 Why I am making verifiable AI memory.
Who chooses what your AI forgets? Currently "forgetting" is just automated based on context window or pressing "new chat".
This can be improved with user-controlled verifiable AI memory. You can choose what your AI remembers & forgets.
One week to go until the online event Celebrating 40 years of Elliptic Curves in Cryptography (ECC). You can hear from Koblitz and Miller about their work 40 years ago
eccworkshop.org/2025/index.html
New write-up: Let's Labrador! 🐕
We explore Labrador's ZKP construction from the ground up, starting from a simple baby Labrador protocol and progressively building toward the full recursive protocol. Implementation details included!
➡️full blog: hackmd.io/@Ingonyama/fas…
28 Followers 414 Followingzk | cryptography | Rust , recently learning more about compilers and programming languages, prev @zksecurityXYZ and @DakaiGroup. Also worked on @VelodromeFi
435 Followers 1K FollowingOnchain experiments and sc security. Studying physics @UniversiteLiege, creating privacy-preserving systems and exploring modern cryptography. Intern @CosicBe
4K Followers 1K FollowingPassionate about crypto, distributed systems, cryptocurrencies, and making data, computation & communication private.
Tweets will be technical & my own opinion
1K Followers 6K FollowingBorn to Win. Founder of Marketing GS 🌐 Working on MGGS #AI (@)AZ1 in #Phantom wallet @0xaryz Smart Follower https://t.co/e322ri174C
293 Followers 2K Following- Interested in distributed computing, cryptography, and cybersecurity
- I love philosophy, science & technology, history, art, and literacy.
448 Followers 2K FollowingBiracial.
Born and raised in the projects of East LA.
Making allegories to life.
Math Enthusiast.
Living life on a finite field!
3K Followers 792 FollowingCTO @KakarotZkEVM - tweets may involve bullposting, ZK, bench press progress, DJ sets and regular updates on my AI agents fleet
9K Followers 201 Followingchief curmudgeon @anza_xyz. fmr head of curmudgeon ops @solanalabs
that sounds like a nice idea. it'd be a shame if someone ruined it
advice? ha!
11 Followers 10 FollowingPhD in systems. Prev @Stanford math & CS. I like to think about TCS, arithmetic geometry, and homotopy theory; sometimes they overlap.
50K Followers 4K Followingmake it panic. talk is cheap. Working in Rogue at @class_lambda, @fuzzinglabs, @PolFinance_ and @alignedlayer. I am working on ZK and the core of @ethereum.
63K Followers 1K FollowingThe most user-friendly, open-source, air-gapped hardware wallet for your entire crypto journey 🛡️
Making secure self-custody accessible & appealing since '18.
8K Followers 1 FollowingThe Succinct Foundation is dedicated to the growth and decentralization of the Succinct Prover Network, driving ZK adoption across crypto and beyond.
102K Followers 920 FollowingTechnology's daily show. Hosted by @johncoogan and @jordihays. Streaming live 11AM-2PM PT every weekday and available on Apple, Spotify, and YouTube.
9K Followers 2 Followingbank onchain with stablecoins on a new privacy blockchain. backed by @RobotVentures @6thManVentures @dba_crypto @ProtocolLabs. download the app.
42K Followers 3K FollowingCTO @midnightfdn.
Current focus: ZK (lattice,folding,Starstream), onchain games and chain abstraction. drep1kyppjlhz4lawh4g0ewx2d8a5l20t4yclfnppnuvdkmt7vccg836