Zac Williamson

Rena Labs is a TEE abstract middleware that creates on-chain infrastructure for verifiable AI use cases.

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.

vlayer is a trustless verifiable data infrastructure powered by zero-knowledge proofs.

NEBRA is building the first proof aggregation service on Ethereum, which uses Universal ZK-ZK Proof Aggregation construction to aggregate ZKPs for all kinds of applications, including but not limited to privacy preserving identities, storage proofs, ZKML, zkEVM proofs.

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.