Pedulli develops computational systems for efficient data processing, private computation and verifiable results.
The public surface stays simple: what a system does, what can be measured, and what can be verified. Implementation details remain private where appropriate.
Lossless data reduction with exact restoration and reproducible measurements.
Local computational workflows designed to keep sensitive processing under the operator's control.
Verifier-first workflows where claims are tied to concrete inputs, outputs and checks.
Research into efficient computation, reliable systems and exact, reproducible results.
Public claims are separated from private implementation. Where possible, results are backed by exact restoration, hashes, baselines and reproducible test conditions.
View evidence →