National Security Agency
NationalSecurityAgency
Official organization account for the National Security Agency (NSA)
United States
Eigen Labs
Layr-Labs
Powering the world with Verifiable AI. From apps to agents to systems. Build Anything. Verify Everything.
Nicholas Langford
scorpiontornado
2nd-year Computer Science Coop Scholar @ UNSW.
UNSW Sydney, Australia
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