Tagged Content
Everything on the platform tagged with zero-knowledge-proofs.
ATAD Corp. is a Seoul-based technology company building an AI-driven multi-cloud operating platform that helps teams run AWS, Azure, and GCP environments from one place. Its flagship product, ODiiN, uses AI to forecast and self-heal infrastructure problems, claiming up to 80% cost savings and large productivity gains. Founded in 2023 by cloud and cybersecurity specialists, ATAD pairs cloud automation with a security stack built on AI, multi-factor authentication, and zero-knowledge proofs, and also runs Heiimdahl (a multi-LLM monitoring gateway) and Kraton (a blockchain-based decentralized VPN). The company has raised about $3.36M and holds a growing portfolio of patents in multi-cloud integration and secure data distribution.
Ali Yahya is a General Partner at Andreessen Horowitz (a16z) where he leads the firm's crypto investing practice. A Stanford computer scientist and former Google Brain TensorFlow developer, he discovered Bitcoin in 2010 during security research and joined a16z in 2017 as its first full-time crypto investor. He has backed landmark bets including Solana and LayerZero, and is known for his deep technical thesis on privacy, zero-knowledge proofs, and the intersection of AI and crypto infrastructure. Off the charts, he runs a personal life operating system called walrOS built on 16 daily tracked habits and a spaced-repetition learning system.

Markos Georghiades is an Engineering Partner at Andreessen Horowitz's crypto division (a16z crypto), where he focuses on cryptography and core development of Jolt - a16z's open-source zero-knowledge virtual machine (zkVM). An undergraduate studying Computer Science and Mathematics at the University of Waterloo, he has co-authored multiple research breakthroughs: helping Jolt achieve a 6x throughput speedup (over 1 million RISC-V cycles/sec), enabling true zero-knowledge proofs via the NovaBlindFold technique, and implementing 64-bit proving without performance slowdown. His GitHub bio - 'sumcheck is love sumcheck is life' - says everything you need to know about where his obsessions lie.