r&d ~ open, verifiable, crypto-physically secure hardware (TEEs) ~ arxiv.org/abs/2410.03183
Utility maxxing ๐Ÿ”ง, Stressed Dictator - @AeriusLabs, prev - @CelestiaOrg, @renprotocol | Building @trade_vex
1st principles thinker ๐ŸงฌI โค๏ธ math, cs ๐Ÿงฎ| code ๐Ÿฆ€๐Ÿ› | eth ฮž, applied cryptography ๐Ÿ—: ecc โž  pqcโณ, zk proofs ๐Ÿช„โ†”๏ธ๐Ÿงพ Timeline: high SNR cryptography, eth๐Ÿ“๐Ÿ”‘โ›“๐ŸŒ
race to prove Ethereum in real-time
CEO @moonmathai, @Ingo_zk | Loves all languages; speaks only in math.
We're building Valida - the most performant zkVM. Supporting Rust, C, WASM and client-side proving