ab4n
Sylvain Bellemare ๐ซโจ๐งฎ
@sbellem
r&d ~ open, verifiable, crypto-physically secure hardware (TEEs) ~
arxiv.org/abs/2410.03183
Rahul | Aerius Labs
@Rahul__Ghangas
Utility maxxing ๐ง, Stressed Dictator -
@AeriusLabs
, prev -
@CelestiaOrg
,
@renprotocol
| Building
@trade_vex
sivat.eth
@0xSiva
1st principles thinker ๐งฌI โค๏ธ math, cs ๐งฎ| code ๐ฆ๐ | eth ฮ, applied cryptography ๐: ecc โ pqcโณ, zk proofs ๐ชโ๏ธ๐งพ Timeline: high SNR cryptography, eth๐๐โ๐
Ethproofs
@eth_proofs
race to prove Ethereum in real-time
Omer Shlomovits
@OmerShlomovits
CEO
@moonmathai
,
@Ingo_zk
| Loves all languages; speaks only in math.
swen | lightprotocol.com
@swen_sjn
co-founder
@lightprotocol
,
zkcompression.com
. always be kind
Lita
@0xLita
We're building Valida - the most performant zkVM. Supporting Rust, C, WASM and client-side proving
Load more