MinervaMinerva
SDK — v0.1.1

ZK-STARK Proofs.
In Your Infrastructure.

The @digitalforgestudios/minerva-sdk lets you generate and verify cryptographic compliance proofs in any JavaScript, TypeScript, or Rust environment — with no server dependency and no cryptographic expertise required.

terminal
$ npm install @digitalforgestudios/minerva-sdk

added 1 package in 0.8s

Prove anything. Reveal nothing.

Client-Side Privacy

Proofs run entirely in the browser via WebAssembly. Private inputs never leave the device — not in transit, not in logs.

Real STARK Cryptography

Powered by Winterfell — FRI-based STARK proofs with ~95-bit security. Not hashing tricks. Not trusted setups.

JSON In, Proof Out

No circuit language to learn. Pass a JSON object with your inputs, get back a portable proof blob. That's it.

Every Runtime

One Rust core. Compile to WASM (browser), native binary (CLI/server), or use the npm package in any Node.js / TS project.

Prove in 5 minutes

No trusted setup. No circuit language. No PhD required.

1Installbash
npm install @digitalforgestudios/minerva-sdk
2Import & Provetypescript
import { generateProof, verifyProof } from '@digitalforgestudios/minerva-sdk';

// Define your circuit and inputs
const input = {
  circuit: {
    name: "carbon_compliance",
    gates: [
      { op: "lt", inputs: ["emissions_kg"], output: "compliant", params: { threshold: 10000 } }
    ],
    public_inputs:  ["compliant"],
    private_inputs: ["emissions_kg"]
  },
  public_inputs:  { compliant: 1 },
  private_inputs: { emissions_kg: 7840 }   // ← stays in your browser
};

// Prove in-browser — no server round-trip
const proof = await generateProof(JSON.stringify(input));

// Verify anywhere
const valid = await verifyProof(proof);
console.log(valid); // true
3Or use the Rust cratebash
# Cargo.toml
[dependencies]
minerva-zkesg-sdk = "0.1"

10 production-ready templates

Copy. Customize. Prove. Every template is tested and ready to integrate.

Carbon CreditsESG

Prove emissions reduction and credit balances for regulatory reporting.

Supply ChainESG

Prove provenance, certification, and multi-party compliance.

Income ComplianceFinance

Prove income meets a threshold without revealing the actual figure.

Financial AuditFinance

Prove reported balances match real positions for regulators.

Age VerificationIdentity

Prove age without revealing date of birth.

Voting EligibilityIdentity

Prove citizenship and registration without exposing identity.

Payroll VerificationHR

Prove payroll obligations are met without exposing salary data.

Insurance ClaimsInsurance

Prove claim eligibility without revealing full policy terms.

Credit ScoreFinance

Prove creditworthiness above a floor without disclosing the score.

Arithmetic ProofsGeneral

Range and comparison proofs for any numeric domain.

Available now

One proving engine. Three distribution channels.

npm / WASMPublished
@digitalforgestudios/minerva-sdk
v0.1.1
npm install @digitalforgestudios/minerva-sdk

Browser + Node.js. WASM-powered — proving runs client-side.

View on registry
Rust cratePublished
minerva-zkesg-sdk
v0.1.1
cargo add minerva-zkesg-sdk

Native Rust library. Server-side proving, CLI tools, custom integrations.

View on registry
Python (PyO3)Roadmap
minerva-zkesg-sdk
v0.2 — Coming
pip install minerva-zkesg

For data pipelines and compliance automation. PyO3 + maturin bindings.

Why Minerva vs. Circom / RISC Zero / SP1?

CapabilityMinervaCircomRISC Zero / SP1
No circuit language✅ JSON input❌ Circom DSL❌ Rust circuit code
Browser / WASM✅ Native⚠️ Needs wrapper❌ Too heavy
AI circuit design✅ Juno oracle❌❌
10 domain templates✅ Included❌❌
Trusted setup✅ None (STARK)❌ Required (SNARK)✅ None
ESG / compliance focus✅ Purpose-built❌ General❌ General

Start proving in minutes.

Free tier. No credit card. 10 proofs/month to get started.

Free forever tierWASM client-side privacy10 domain templatesRust + npm packages
SDK — v0.1.1

ZK-STARK Proofs.
In Your Infrastructure.

The @digitalforgestudios/minerva-sdk lets you generate and verify cryptographic compliance proofs in any JavaScript, TypeScript, or Rust environment — with no server dependency and no cryptographic expertise required.

terminal
$ npm install @digitalforgestudios/minerva-sdk

added 1 package in 0.8s

Prove anything. Reveal nothing.

Client-Side Privacy

Proofs run entirely in the browser via WebAssembly. Private inputs never leave the device — not in transit, not in logs.

Real STARK Cryptography

Powered by Winterfell — FRI-based STARK proofs with ~95-bit security. Not hashing tricks. Not trusted setups.

JSON In, Proof Out

No circuit language to learn. Pass a JSON object with your inputs, get back a portable proof blob. That's it.

Every Runtime

One Rust core. Compile to WASM (browser), native binary (CLI/server), or use the npm package in any Node.js / TS project.

Prove in 5 minutes

No trusted setup. No circuit language. No PhD required.

1Installbash
npm install @digitalforgestudios/minerva-sdk
2Import & Provetypescript
import { generateProof, verifyProof } from '@digitalforgestudios/minerva-sdk';

// Define your circuit and inputs
const input = {
  circuit: {
    name: "carbon_compliance",
    gates: [
      { op: "lt", inputs: ["emissions_kg"], output: "compliant", params: { threshold: 10000 } }
    ],
    public_inputs:  ["compliant"],
    private_inputs: ["emissions_kg"]
  },
  public_inputs:  { compliant: 1 },
  private_inputs: { emissions_kg: 7840 }   // ← stays in your browser
};

// Prove in-browser — no server round-trip
const proof = await generateProof(JSON.stringify(input));

// Verify anywhere
const valid = await verifyProof(proof);
console.log(valid); // true
3Or use the Rust cratebash
# Cargo.toml
[dependencies]
minerva-zkesg-sdk = "0.1"

10 production-ready templates

Copy. Customize. Prove. Every template is tested and ready to integrate.

Carbon CreditsESG

Prove emissions reduction and credit balances for regulatory reporting.

Supply ChainESG

Prove provenance, certification, and multi-party compliance.

Income ComplianceFinance

Prove income meets a threshold without revealing the actual figure.

Financial AuditFinance

Prove reported balances match real positions for regulators.

Age VerificationIdentity

Prove age without revealing date of birth.

Voting EligibilityIdentity

Prove citizenship and registration without exposing identity.

Payroll VerificationHR

Prove payroll obligations are met without exposing salary data.

Insurance ClaimsInsurance

Prove claim eligibility without revealing full policy terms.

Credit ScoreFinance

Prove creditworthiness above a floor without disclosing the score.

Arithmetic ProofsGeneral

Range and comparison proofs for any numeric domain.

Available now

One proving engine. Three distribution channels.

npm / WASMPublished
@digitalforgestudios/minerva-sdk
v0.1.1
npm install @digitalforgestudios/minerva-sdk

Browser + Node.js. WASM-powered — proving runs client-side.

View on registry
Rust cratePublished
minerva-zkesg-sdk
v0.1.1
cargo add minerva-zkesg-sdk

Native Rust library. Server-side proving, CLI tools, custom integrations.

View on registry
Python (PyO3)Roadmap
minerva-zkesg-sdk
v0.2 — Coming
pip install minerva-zkesg

For data pipelines and compliance automation. PyO3 + maturin bindings.

Why Minerva vs. Circom / RISC Zero / SP1?

CapabilityMinervaCircomRISC Zero / SP1
No circuit language✅ JSON input❌ Circom DSL❌ Rust circuit code
Browser / WASM✅ Native⚠️ Needs wrapper❌ Too heavy
AI circuit design✅ Juno oracle❌❌
10 domain templates✅ Included❌❌
Trusted setup✅ None (STARK)❌ Required (SNARK)✅ None
ESG / compliance focus✅ Purpose-built❌ General❌ General

Start proving in minutes.

Free tier. No credit card. 10 proofs/month to get started.

Free forever tierWASM client-side privacy10 domain templatesRust + npm packages