LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
abhi
abhvious
professor of cs at Northeastern, cryptography, security researcher, Google engineer
Gregor Mitscha-Baude
mitschabaude
Co-founder @zksecurity.
Lean and TypeScript hacker with 🍓 for crypto, math, ZKPs, P2P, Wasm, open source
@zksecurity Vienna, Austria
Quang Dao
quangvdao
Formal verification for cryptography.
PhD Student at Carnegie Mellon University
Pittsburgh, PA
Thomas Coratger
tcoratger
PhD in applied mathematics.
Research at Ethereum Foundation.
Ethereum Foundation France
Thorkil Værge
Sword-Smith
Physicist by trade, programmer by occupation. I like compilers, cryptography, and crypto currencies.
Triton Software AG Zug, Switzerland
ZisK
0xPolygonHermez
ZisK is an open-source zero-knowledge proving toolstack featuring a zkVM that enables verifiable execution of programs written in high-level languages like Rust
PreviousNext