At Paries we develop cryptographic proof systems that ensure integrity, traceability, and transparency in both physical and digital workflows. We create technologies that attest to the origin of data, validate transformations, and provide verifiable proofs without exposing sensitive information.

🧭 Integrity Is Our Foundation

"Integrity is doing the right thing, even when no one is watching."
— often attributed to C.S. Lewis

At the heart of our platform is the belief that trust isn't something you claim — it's something you prove. Whether it's how data is handled, how decisions are made, or how systems behave under pressure, our technology ensures verifiable integrity at every step, even when no one is watching.

Don't Trust, Verify

In an interconnected world where both goods and data move across borders, trust should not be assumed—it should be proven. At Paries, we are building a framework to ensure that whether you're verifying a digital transformation in a virtual world or tracking a global shipment, the proof is always in the system. However, not all use-cases require the full breadth of our framework; users can tactically pick and mix components to suit their specific needs.

What we believe makes Paries notable — and maybe unique right now — is the combination of:

Formal verification (for trust in the system itself)
Zero-knowledge proofs (to attest to privacy-preserving integrity)
Focus on telemetry + data workflows (real-world stuff, not just tokens)

How Paries builds Proof Systems for Trust & Transparency

We use our lightweight and standards based framework named Towards Zero -- it has at its core a strong focus on proof-of-origin and proof-of-computation resulting in verifiable data provenance — a big step beyond typical uses of ZKPs.

We develop systems that can mathematically prove that a dataset was derived from known sources and that any transformations applied to it were performed according to defined rules. Proofs unlock a new era of verifiable outcomes across industries — whether it's compliance, supply chain transparency, enterprise audit, or automated public-sector oversight — making trust not just claimable, but provable.

AI workloads are a strong example of the application of Towards Zero, as they increasingly demand a secure, high-performance data infrastructure capable of handling massive models while ensuring verifiable computation integrity at every step. Towards Zero provides the platform supporting provable AI data integrity, fault-tolerant storage, and secure routing — all backed by zero-knowledge cryptography and a formally verified OS foundation.

Customer Use Cases

Eden Consignment Tracking

Real-world application of Towards Zero

Eden Consignment Tracking applies our principles of verifiable provenance to global logistics. The platform provides real-time visibility into shipments, linking each consignment to detailed carrier data and structured manifests.

Cambridge University Press & Assessment is among our valued customers, relying on Eden to track their exam materials worldwide with precision.

Capability-Based Filesystem

Virtual-world application of Towards Zero

The platform tracks the creation of silicon chip designs by including a FUSE based provable filesystem capability pluggable directly into a Codasip IDE userspace running in the public cloud and supporting their university programme.

Jamie Broome, CPO at Codasip, stated: "The Towards Zero's inspired secure PoC sandbox for our cloud based chip design environment, combined with its full provenance tracking and proof system, will be a game-changer. Particularly so, as legislation is introduced to mandate full provenance of design for critical infrastructure components, the system will prove to be incredibly valuable across a number of industries."

VerifiedVault Virtual Data Room

Virtual-world application of Towards Zero

Verified Vault is a next-generation Virtual Data Room (VDR) designed for highly secure document sharing, permissioning, and auditable file usage tracking.

Built on a cryptographically verifiable foundation, it ensures that every document interaction—viewing, sharing, modification, or download—is provable and tamper-resistant. This makes VerifiedVault ideal for industries requiring strict compliance, auditability, and data integrity, such as finance, legal, and healthcare.

Unlike conventional VDRs that rely on access logs and discretionary trust, VerifiedVault uses a discentralised trustless store for audit. Where miltary grade security is required VerifiedVault integrates zero-knowledge proofs (ZKPs) and secure overlay networks to provide even deeper provable trust.

It ensures that permissions are enforced at a cryptographic level, eliminating unauthorised access risks while maintaining a transparent yet privacy-preserving record of activity. Users can define granular access controls, track document lineage, and verify compliance without exposing sensitive data.

Digital Concrete for AI Blueprint

A commissioned blueprint based on Towards Zero

At its core, the blueprint is capabilities-based and integrates a FUSE-based filesystem with seL4 for formally verified execution, coupled with a sharded IPFS-like object store that ensures efficient parallel retrieval of large AI models.

ZKP-based authentication and SCION route proofs guarantee that only authorised entities access data and that every file follows a verifiable, expected network path.

Data is protected through STARK proofs, Byzantine fault tolerance, and Merkle-DAG based metadata tracking, ensuring that AI models and their outputs remain immutable and traceable. Each model and inference is cryptographically fingerprinted, embedding integrity directly into the AI pipeline.

By combining secure storage, scalable retrieval, and transparent verification, Towards Zero redefines how AI data is stored, accessed, and proven in a trustless world.

Relevant Foundational Technologies in the ZKP Industry

In the field of Zero-Knowledge Proof (ZKP) technologies, Paries utilises several foundational systems and libraries that are leading the way for advanced applications. Notable examples include RISC Zero, zkOS, Arkworks, and Winterfell, each offering distinct capabilities that align with Paries' technical architectural goals. While many of these technologies are primarily focused on blockchain, Paries aims to harness ZKP for broader and more immediate industry applications.

🧱 Arkworks

Focus: Provides core cryptographic primitives (fields, curves, etc.) and constructions for various proof systems (e.g., Groth16, Marlin).
Relevance: Offers fundamental, high-performance building blocks that underpin Towards Zero, valuable for constructing robust proof-generation components. (Originated from academic research, e.g., UC Berkeley, now community-driven).

❄️ Winterfell (STARK Implementation by Meta)

Focus: High-performance STARK (Scalable Transparent ARgument of Knowledge) prover/verifier library.
Relevance: Provides a powerful implementation for STARKs, a key technology for transparent and scalable ZKPs relevant to verifying complex processes like AI computations. (Primarily developed by engineers at Meta, now open-source).

⚡ StarkWare

Focus: Building practical STARK-based scaling solutions for blockchains and pioneering STARK implementations (StarkEx, Starknet) and develop the Cairo language for provable computation.
Relevance: StarkWare's thought leadership in practical ZKP applications and their development of tools like Cairo are valuable resources for the industry. Their work demonstrates how STARKs can be effectively deployed for large-scale, verifiable computation, aligning with the goals of ensuring data integrity within frameworks like Towards Zero.

🏗️ RISC Zero

Focus: General-purpose ZKVM (Zero-Knowledge Virtual Machine).
Relevance: Serves as a foundational layer for frameworks like Towards Zero.

Where is the role of Blockchain in all this?

As noted cryptographer Bruce Schneier points out, there's no good reason to trust blockchain. However Paries believes blockchain should fundamentally be viewed as a decentralised public record that leverages robust, industry-standard cryptographic techniques combined with various consensus approaches to facilitate verification by many. Its technological foundation makes blockchain an excellent solution for the privacy preserving public storage of data fingerprints and proofs. In short a means of publication and verification as a service.

Furthermore, we should view this as a step toward a more trustworthy and automated model for audit and transparency. Just consider the state of corporate accounting today—where the outdated practice of double-entry bookkeeping, policed by costly audit firms and shaped by management's subjective narratives, has repeatedly failed to prevent major scandals. From Enron and WorldCom to Wirecard and Carillion, these high-profile failures highlight how easily traditional "trusted" systems can be manipulated, often at immense cost to shareholders and the public.

Paries does not position itself as a blockchain company, but it does recognise blockchain's value as a transparent, immutable public ledger. When combined with our Towards Zero framework, blockchain serves as an ideal platform for:

• Publishing cryptographic proofs while preserving data privacy
• Creating transparent audit trails of computational processes
• Establishing decentralised trust in data transformations

This approach allows us to leverage blockchain's strengths in transparency and immutability while maintaining data privacy and computational efficiency in our core systems.

Immutable public ledger of Proofs

Polkadot's Substrate framework represents a significant advancement in blockchain architecture, offering a modular approach that allows for purpose-built blockchain solutions. For Towards Zero, our interest is specific: we require a reliable, decentralised platform for storing cryptographic proofs and data fingerprints.

The introduction of Agile Coretime in Polkadot provides an efficient access to Consensus as a Service that meets our focused needs:

• Secure, decentralised storage of proof attestations
• Immutable recording of data fingerprints
• Cost-effective consensus without infrastructure overhead

This targeted use of Substrate's capabilities provides Towards Zero with the decentralised trust layer it needs, while keeping its core systems independent and focused on their primary functions.