Pedulli is lossless compression with a byte-exact, SHA-256-verifiable restore and a +1 byte never-worse floor. It runs as a best-of-N racer that races xz, zstd, brotli and your data's SRD math and keeps the smallest verified output, so it is never larger than the best standard codec (worst case +1 byte). It wins outright on structured data and ties the best codec on already-optimal or random data.
input -> lossless compress -> .pdli container -> restore -> SHA-256 match
LESS WEIGHT - SAME BYTES - VERIFIED RESTORE
No lossy promises: every result must restore the original byte-for-byte, or it stays proof-only / diagnostic.
What Pedulli ships
Pedulli is the umbrella for two distinct products you can check yourself: the T15 Orchestrator for byte-exact lossless compression, and the SRD Engine Pedulli, a witness-gated exact verifier.
Byte-exact lossless compression with a SHA-256-verifiable restore and a +1 byte never-worse floor on its own output. Every input is read as exact bytes and turned into a restorable .pdli container; restore reconstructs the original and the SHA-256 must match.
It uses SRD math partly together with standard codecs (xz, zstd, brotli) and keeps the smallest verified output, so it is never larger than the best standard codec (worst case +1 byte). It wins outright on structured data and ties the best codec on already-optimal or random data. Not "superior to all", not "past the Shannon bound".
A witness-gated exact verifier. You supply a witness and the engine returns accept or a diagnostic - it checks what you supply against an exact relation across its verify.* domains: a real AES-GCM re-encryption check, a p*q == N bigint check, a SHA-256 restore roundtrip, supplied-clause SAT, and per-step proof checking. If the residual is zero it accepts; otherwise it returns a diagnostic.
Every capability is proof-gated: shipped only with a measured benchmark plus a published proof object; research tracks are labelled research, not delivered. It verifies witnesses you provide. It explicitly does not break or crack RSA, AES or ECC, and does not claim to solve every problem - it returns a supported answer with proof, abstains, or verifies a supplied witness across 1,428 domains. Internals stay sealed - proof without disclosure.
For teams that move a lot of data
Pedulli helps companies, developers, AI and data teams, and storage-heavy infrastructure shrink storage, backups and transfers while keeping the original byte-for-byte restorable.
Compress heavy media files while preserving the original byte-for-byte. No lossy re-encode, no risky conversion.
Shrink datasets, logs, backups and model files while keeping auditability, integrity and reproducibility.
Lighten monitoring, exports, application events and structured data without complex manual configuration.
Reduce archives, backups and transfers without deleting data, lowering quality, or rewriting your workflow.
Integrate byte-exact compression into your products without building a compression engine in-house.
Random, encrypted or already-compressed files stay proof-only when they cannot honestly shrink.
Upload a file, compress, restore, and verify the restored output is identical to the original.
Try it - live - free
Any file type or bitsequence. Byte-exact restore. Sub-1 MiB runs on our EU servers; larger files use the resumable upload API.
Where Pedulli wins - and where it ties the best
Bitcoin-anchored, SHA-256 byte-exact, reproducible. Because the racer includes xz, zstd and brotli and keeps the smallest verified output, it is never larger than the best standard codec (worst case +1 byte): it wins outright on structured classes and ties the best codec everywhere else.
Full protected pipeline
Self-sealed: proof without disclosure, engine internals remain closed, no absolute-security claims. Input bytes become a protected .pdli container, then restore reconstructs the original byte-for-byte.
Bitsequence, PDF, MP4, ZIP, source, dataset, backup, log stream. The entry point is raw bytes.
The protected runtime searches for the smallest reversible artifact. If structure exists it compresses; if the input is already closed it preserves exactness instead of inventing savings.
The output is the public container: portable, API-ready, CLI-ready, designed for exact restore.
Restore is not a best-effort decode. The inverse path reconstructs the original byte stream exactly.
Restored bytes must match the original. No lossy mode, no approximation, no hidden mutation.
If no smaller exact artifact exists, the result is proof-only / diagnostic - never a fake win.
COMPRESS
file.bin -> protected pipeline -> file.pdli
RESTORE
file.pdli -> inverse pipeline -> original file.bin
Pricing
Start free with an API key and token balance. Upgrade to Pro for the REST API, or top up tokens any time.
Personal use
REST API for builders
or EUR 468/year (~EUR 39/mo)
Start Pro - EUR 49/moCustom / on-prem
FAQ
Pick your stage
Try it, get an API key, go Pro, or talk to the founder.
Drop a file in the browser, get a byte-exact .pdli, verify the SHA-256 roundtrip. No signup.
Drop a file ->Create an account, get an API key and token balance. Works without Stripe.
Start API trial ->30-min intro for demos, enterprise / source licensing, and investor conversations.
Book 30-min call ->Free for personal use. Drop a file now and see the savings before you sign up for anything.
No credit card - zero storage on the browser trial - Bitcoin-anchored proof