Data Integrity for Modern Research
Create a canonical, immutable source of truth for every dataset, from lab notebooks to large-scale simulations.
The Problem: The "Data_v2_final_final.csv" Nightmare
In labs and research groups, data provenance is fragile. Datasets are copied, cleaned, and modified, quickly obscuring the original source and leading to errors.
Without a single source of truth, researchers waste time reconciling different data versions, and downstream analyses become difficult to trust. How can you be sure your entire team is building from the same foundational data?
The Solution: A Single Attestation for a Single Source of Truth
Composable Science allows any dataset, regardless of size or location, to be registered on the ledger with a single, verifiable attestation.
The Data Attestation Workflow
A simple, powerful process to lock in your data's integrity.
1. Import & Attest
A user imports a dataset from any source (a local machine, a cloud bucket, a public URL). The system fingerprints the data and creates a permanent `external_data_import` attestation on the ledger, including its hash.
2. Share & Reuse
The attestation ID becomes the canonical, unbreakable link to that exact version of the data. Share this ID with collaborators, in publications, or across projects.
3. Build & Verify
All downstream analyses now depend on this immutable artifact. Every computation is verifiably linked to the single source of truth, eliminating ambiguity and ensuring reproducibility.
The Benefit: Trust, Efficiency, and New Capabilities
Physical & Earth Sciences
From raw telescope data to particle accelerator outputs, create immutable references for massive datasets. Ensure every simulation builds from a verified source, eliminating ambiguity in data processing pipelines.
Life Sciences & BioTech
Lock down microscopy images, genomic sequences, and proteomics data. Attach automated analyses to detect image manipulation or verify reagent lots, creating a tamper-evident logbook for the entire lab.
Mathematical & Computational Sciences
Attest to foundational artifacts like theorems, models, or software environments. Create verifiable links between a formal proof—including those from automated theorem provers like Lean—and the code that implements it, ensuring theoretical work is correctly and transparently applied.
Social & Behavioral Sciences
Securely register sensitive survey data, interview transcripts, or economic models. Use ZKPs to prove demographic properties or run analyses without revealing personally identifiable information (PII).
Effortless Lab Management
Do you manage graduate students and post-docs? Composable Science provides instant, verifiable insight into every analysis they run. Track progress, ensure methodological rigor, and maintain a complete, un-hackable record of your lab's work without constant check-ins.
Automated Institutional Oversight
Institutions can build powerful automated workflows. When a dataset is attested, triggers can run pre-configured analyses—like checking for image manipulation, verifying code dependencies, or cross-referencing with IRB compliance documents—and attach the results as new attestations.
A New Paradigm for Private Data
Using Zero-Knowledge Proofs, researchers can prove facts about a private dataset (e.g., "this dataset contains no PII" or "the mean age is 42") without revealing the data itself. This allows for public verification while respecting privacy laws like HIPAA and GDPR, meeting science where the technology is.
Unbreakable Provenance
Every result, figure, and paper can be traced back through an unbroken, cryptographic chain to its foundational data. The entire history of a discovery becomes transparent and machine-verifiable.