What 0xPARC Foundation does

0xPARC Foundation is a grant-funded, non-profit research and engineering organization founded in 2020 that advances programmable cryptography — a second generation of cryptographic primitives (zkSNARKs, fully homomorphic encryption, multi-party computation, witness encryption, obfuscation) enabling general-purpose computation inside or on top of cryptographic protocols. The organization operates as an "extended community of explorers" with activities spanning research, prototyping, engineering, and productionization, and does not pursue commercial revenue.

Its technical portfolio consists of open-source ZK circuit libraries and developer tools built primarily in Circom. Key products include zkREPL (a browser-based IDE for zkSNARK development built on Monaco Editor with WASM-based compilation), circom-pairing (circuits for elliptic curve pairings and BLS signature verification), circom-ecdsa (optimized ECDSA circuits with secp256k1 support for Bitcoin/Ethereum), and Ecne (the first automated verifier for R1CS soundness). Adjacent work includes zk-mnist (ZK machine learning demonstration), ZK identity primitives, and the Autonomous Worlds theoretical framework. 0xPARC also maintains learn.0xparc.org, applied ZK working groups, and a Summer Residency program to grow the ZK developer community.

The business model is non-commercial: all outputs are distributed freely under open-source licenses via GitHub and the organization's website. There is no pricing, no sales motion, and no disclosed revenue. The organization sustains itself through grants and serves cryptography researchers, blockchain protocol developers, and the broader ZK engineering community rather than paying customers.

Name

0xPARC Foundation

Legal name

0xPARC

Website

https://0xparc.org

Company type

Private

Founded year

2020

Operating status

Operating

Short description

0xPARC Foundation is a grant-funded non-profit research organization that develops open-source zero-knowledge cryptography tools (zkREPL, circom-pairing, circom-ecdsa, Ecne) for cryptography researchers and blockchain protocol developers working on programmable cryptography.

Ownership category

akta.pro rank

Product category

Cryptography Development Tools

NAICS

Software Publishers (5132)

SIC

Services-Prepackaged Software (7372)

akta.pro primary industry

Smart Contract Frameworks & SDKs (developer kits, templates, standards) (FSAPABAB)

akta.pro secondary industries

Testing, Simulation & Local Dev Environments (testnets, forks, fuzzing, CI) (FSAPABAG), Security Testing Tooling (SAST/DAST for smart contracts, fuzzing) (FSAPAJAK)

Keywords

• Zero-knowledge proofs
• Programmable cryptography
• Zk circuit libraries
• Cryptographic primitives
• Blockchain development tools

GTM type

B2B

Offering type

Software

Cost components

Personnel, Technology or R&D, Operations

Distribution channels2 records

Marketing channels3 records

Core offering

0xPARC Foundation develops open-source zero-knowledge (ZK) circuit libraries and developer tools for programmable cryptography. Its offerings include zkREPL (a browser-based Circom IDE), circom-pairing and circom-ecdsa (ZK circuit libraries for elliptic curve operations), Ecne (automated R1CS soundness verifier), and zk-mnist (ZK machine learning demonstration). All tools are freely distributed via GitHub to the cryptography research and blockchain developer communities.

Product overview

0xPARC Foundation is a grant-funded research organization focused on advancing programmable cryptography - a second generation of cryptographic primitives enabling general-purpose computation within cryptographic protocols. Their portfolio consists primarily of open-source ZK circuit development tools and libraries: zkREPL provides an in-browser IDE for Circom development; circom-pairing implements elliptic curve pairings and BLS signatures in ZK circuits; circom-ecdsa enables ECDSA operations (used in Bitcoin/Ethereum) in ZK; and Ecne provides automated verification for circuit soundness. Additionally, they develop demonstration applications like zk-mnist showing ZK machine learning, and maintain educational resources for the ZK developer community. The organization operates as a research consortium rather than a commercial product company.

Differentiator

Problem solved

Functional benefit

Brands

• zkREPL: An online development environment for zkSNARKs built on top of Monaco editor, allowing developers to write and test Circom circuits in a browser.
• Ecne
• circom-pairing
• circom-ecdsa

Products and services

• zkREPL An online development environment for zkSNARKs that enables developers to write, compile, and test Circom circuits directly in a web browser. Built on Monaco Editor (VS Code technology) with custom Circom syntax support and WASM-based compilation. Designed for cryptography researchers and blockchain developers.
• circom-pairing A proof-of-concept ZK circuit library implementing elliptic curve pairings (Tate pairing, optimal Ate pairing) and BLS signature verification in Circom. Enables recursive SNARK verification, KZG polynomial commitment verification, and signature aggregation applications.
• Ecne The first automated verifier for testing R1CS (Rank-1 Constraint System) soundness. Detects underconstrained circuits by proving that output variables are uniquely determined by input variables, helping prevent critical security vulnerabilities in ZK circuits.
• circom-ecdsa An efficient proof-of-concept ZK circuit library implementing ECDSA algorithms (private key to public key conversion, signature verification) in Circom. Supports secp256k1 curve with optimized BigInt arithmetic for Bitcoin and Ethereum compatibility.
• zk-mnist A demonstration of zero-knowledge machine learning, implementing a neural network for handwritten digit recognition (MNIST) within ZK circuits. Allows proving classification results without revealing the input image or model parameters.

Quantifiable outcome

• circom-pairing circuits achieve 19.2M constraints for BLS signature verification, 11.4M for optimal Ate pairing, enabling practical ZK applications for pairings-based cryptography
• +2 more outcomes

Segments2 records

Ideal customer profiles2 records

Technology focussed Yes

API detail

Has API

No

API docs

API detail

Core technology

AI maturity

App detail

Integration1 record

AI capability3 records

Feature8 records

Recent moves6 records

Expansion highlights4 records

Direct peers

• Privacy & Scaling Explorations (PSE): Ethereum Foundation's R&D group focused on ZK and cryptographic privacy tooling. Directly comparable to 0xPARC as a grant-funded research collective producing open-source ZK circuits, tools, and educational content for the Ethereum ecosystem.
• Aztec Network: Develops Noir, a domain-specific language for ZK circuits that directly competes with Circom as a developer-facing ZK language. Aztec is building a ZK-rollup privacy L2 and operates in the same programmable cryptography research space as 0xPARC.
• Electric Coin Company (Zcash): Maintains Halo2, a leading ZK proving system and Rust-based circuit framework. Comparable to 0xPARC as a developer of ZK cryptographic primitives (pairings, recursive proofs) and circuit tooling.
• iden3: Original developer of Circom, the core language 0xPARC's libraries are built on. The most direct peer, as 0xPARC's circom-pairing, circom-ecdsa, and zkREPL all extend the iden3 Circom ecosystem.

Broad incumbents

• StarkWare: Developer of StarkNet and the Cairo language for STARK-based ZK proofs. Operates in the same ZK circuit/developer tooling space as 0xPARC but with significantly more funding, production deployment, and a competing DSL.
• Polygon (Polygon Miden / Polygon zkEVM): Operates multiple ZK rollup teams (Polygon zkEVM, Polygon Miden, Polygon Hermez) with significant R&D investment in ZK circuits and proving systems. A broad incumbent with overlapping research focus on ZK scaling.
• zkSync (Matter Labs): Develops zkSync Era, a ZK rollup with its own proving system and circuit tooling. Operates in the ZK infrastructure space and employs researchers working on programmable cryptography primitives comparable to 0xPARC's research scope.

Emerging players

• RISC Zero: Builds ZK proof systems using the RISC-V architecture and Rust, enabling general-purpose ZK computation. Comparable to 0xPARC's programmable cryptography vision (proving arbitrary computation), though with a competing toolchain.
• o(1) Labs (Mina Protocol): Develops o1js (formerly SnarkyJS), a TypeScript framework for ZK circuits, and the Mina Protocol ZK blockchain. Competes with 0xPARC's zkREPL/Circom tooling in the ZK developer experience space.
• Aleo: Develops a ZK-application platform with its own Leo programming language for ZK circuits. Competes with 0xPARC's Circom-centric tooling in the ZK developer ecosystem and shares the programmable cryptography vision.

Market position

Strengths5 records

Weaknesses4 records

Competitive moat3 records

Key risks5 records

Key highlights6 records

Customer concentration

• Xx.com/0xparc

Revenue estimate

Valuation estimate

Number of profiles

Funding overview

Funding rounds

Investors

Funding detail is available on the Subscription and Enterprise plan.Contact sales →

M&A

Investments

M&A and investment is available on the Subscription and Enterprise plan.Contact sales →

Frequently asked questions about 0xPARC Foundation