Mutual zero-knowledge authentication for humans and AI agents. Both sides prove credentials. Neither side learns anything beyond policy satisfaction. One on-chain transaction.
npm install @bolyra/sdk
Coming Soon
Protocol
A complete authentication primitive for the human-AI boundary. Three capabilities, zero information leakage.
Humans prove uniqueness via EdDSA + Poseidon commitments. AI agents prove operator-signed credentials. Both proofs are generated in parallel and verified in a single on-chain transaction.
Agents delegate scoped permissions to other agents through privacy-preserving delegation circuits. Each link in the chain is a ZK proof — the verifier sees only that the permission is valid, not the delegation path.
Neither party learns anything about the other beyond policy satisfaction. No identity attributes, no model weights, no operator details are revealed. Proof of compliance without disclosure.
SDK
The full handshake: identity creation, credential issuance, parallel proof generation, and on-chain verification.
import { createHumanIdentity, createAgentCredential,
Permission, proveHandshake } from '@bolyra/sdk';
// Human creates identity (EdDSA keypair + Poseidon commitment)
const human = await createHumanIdentity(secretScalar);
// AI agent gets operator-signed credential
const agent = await createAgentCredential(
modelHash, operatorKey,
[Permission.READ_DATA, Permission.WRITE_DATA],
expiryTimestamp
);
// Mutual handshake — both proofs generated in parallel (~16s)
const { humanProof, agentProof, nonce } = await proveHandshake(human, agent);
// Verify on-chain (Base L2, ~590k gas, ~$0.15)
await registry.verifyHandshake(humanProof, agentProof, nonce);Architecture
Groth16 for the fast path, PLONK for the complex paths. All verified through a unified Solidity contract stack.
Circuit 1
Circuit 2
Circuit 3
Benchmarks
Measured on commodity hardware. Deployed on Base L2 for cost efficiency.
Standards
Not just code — a protocol with formal specifications, a DID method, and conformance tests.
draft-bolyra-mutual-zkp-auth-00
Formal protocol specification for mutual zero-knowledge proof authentication. Defines message flows, proof formats, and verification procedures.
did:bolyra
W3C Decentralized Identifier method for Bolyra identities. Supports both human and agent DID documents with ZKP-aware verification methods.
13 vectors, all passing
Complete conformance test suite covering identity creation, credential issuance, proof generation, delegation, and on-chain verification.