Widely adoptable

• Verifiable compute should run everywhere: Our decentralized ZKP network (NovaNet) and proof system run fast in browsers, on blockchains, IoT devices, and other constrained environments.
• Developer-first: Write in JavaScript, Rust, Python, and more — then compile to NovaNet’s zkVM.
• Chain-agnostic proofs: Host proofs and verifiers on any blockchain — no L1/L2 tribalism.
• Composed by design: Use Kinic + NovaNet together so every retrieval and compute step carries a proof — from data ingestion to model output.

Use cases

• Zero-knowledge machine learning (zkML) & verifiable computation: Prove model steps and post-process logic with NovaNet. Kinic uses NovaNet's zkML tooling to achieve verifiable AI memory.
• Scaling web3: Proof-carrying agents, cross-chain verifiers, and portable provers—without L1/L2 lock-in.
• Privacy protection: Selective disclosure of data with verifiable outputs.
• Verifiable agents & AI memory: Multi-agent workflows that share Kinic memory; each query/response comes with a cryptographic receipt.
• Audit & compliance: Tamper-evident logs and on-chain attestations for regulated workflows.

Pioneering Tech

Traditional bespoke circuits don’t scale across diverse apps. That’s why we built ZKEngine and a prover network that supports specialized provers for various tasks.

Our users

• High-growth startups adding ZK to real products without overhauling their stack.
• Web3 teams reusing existing code in our zkVM and shipping cross-chain verifiers.
• Enterprises adopting provable AI memory and compute for security, auditability, and compliance.
• Agent builders & researchers who need proof-carrying retrieval, planning, and tool use.

Founders: Wyatt Benno, Houman Shadab.