Daniel Lubarov

Irreducible is an enterprise-grade, zero-knowledge proof acceleration platform that builds hardware to enhance the efficiency of zero-knowledge proof generation.

GAIB is the economic layer for AI and computing power. GAIB creates a new asset class that allows anyone to directly invest in AI, GPU, and computing power markets. It enables true AiFi, GPU tokenization, GPU-backed stablecoins, derivatives, and more.

Rarimo is a new generation of social apps, where users stay private without losing historical actions, networks, and identities. Citizens used their mobile phones to locally store their passport data, permissionlessly self-issue their own identities, and anonymously generate ZKPs that proved their eligibility to vote. This level of total decentralization is unique to Rarimo’s core identity infrastructure: the ZK identity registry.

delta is a network of autonomous execution environments that are connected via a decentralized, censorship resistant base layer. delta separates execution and ordering from data availability and settlement. delta provides two inalienable rights to its users — the right to self-custody and the right to exit permissionlessly.

Fabric Cryptography is a start-up company focusing on developing advanced crypto algorithm hardware, especially building special computer chips for Zero-knowledge proof technology.

Mamori is a ML-enabled pathfinder for blockchain value extraction, that can be applied to zero-day economic exploits, MEV searching and intent solving, addressing the challenges of scalability, automation, exploit detection relevance, and efficacy in the Web3 value extraction landscape.

Aligned Layer is a ZK verification layer developed on top of the EigenLayer. This will enable cost-effective verification of any SNARK proof, leveraging Ethereum validators' security without the limitations of Ethereum. As an Eigen Layer AVS, it promises affordable verification and versatile proving systems for L2s and bridges, addressing critical needs in the blockchain ecosystem.

Succinct is building a decentralized prover network so that anyone can build blockchain applications and infrastructure secured by cryptographic truth, not trust. Succinct unifies the proof supply chain, providing highly available proof generation infrastructure with best-in-class pricing, for rollups, coprocessors and other applications using zero-knowledge proofs.

Daimo is a stablecoin wallet with no seed phrases. Keys are generated in the phone's secure enclave and never leave. User can add multiple devices and create Passkey backups to secure the account. Under the hood, it's a ERC-4337 contract wallet.

Axiom is a ZK Coprocessor that enables smart contracts to access and process all on-chain data trustlessly. Coprocessor, a piece of software which processes data off-chain and then transports that data to the main Ethereum blockchain, and verifies it with ZK proofs.

Modulus is building trustless AI with zero-knowledge proofs to make the technology cheaper and more accessible for crypto protocols.