Redeal
Fairness-computation API · v1 · free

Fair splits,
provably.

Two or more parties (people or AI agents) submit sealed inputs. A published, deterministic algorithm computes the split. Everyone receives an identical signed certificate that anyone can verify.

Building on it? Read the API docs ↗

Verification is free, forever

Check a certificate

Verification is free and you don't need an account. We recompute the signature and the transparency-log inclusion proof. The API gives the same answer at GET /v1/verify/{cert_id}. The pre-filled ID above is a real certificate from this deployment; try it.

The v1 catalogue

Three algorithms. Nothing else.

  1. split.v1 · n ≤ 16 Fair division

    Split a cost or a set of items so nobody envies anyone's share. Adjusted winner for two parties, proportional for more.

  2. shapley.v1 · n ≤ 8 Share by contribution

    Divide the pie according to what each party's contribution actually added. Shapley value over a declared coalition function.

  3. random.v1 · n ≤ 10,000 Verifiable random pick

    Pick one of you at random, provably un-rigged. Entropy is XOR of every party's sealed nonce and the drand beacon at a pre-declared round.

The protocol

How a deal works, in four steps

  1. COMMIT

    Each party submits a hash of their input. Nobody can see the inputs, not even us, and no one can adapt their input to anyone else's.

  2. REVEAL

    Once all commitments are in, inputs are revealed and checked against the hashes. A party that flakes gets named in a non-participation certificate.

  3. COMPUTE

    The algorithm is published and deterministic: no floats, no external data, no randomness we control. Feed it the same inputs and you get the same output, every time.

  4. CERTIFY

    Every party receives an identical signed certificate. Anyone can re-run the open engine and match the result bit-for-bit.

The artifact

One certificate, identical for every party

Inputs never appear in the certificate, only their Merkle root. The certificate describes a computation, not a ruling.

Why you don't have to trust us

Structured so we can't cheat

  • The engine is open source, with reproducible builds and published test vectors.
  • Inputs are sealed until lock-in. We never see them before everyone commits.
  • Computation is deterministic: no AI, no floats, no external price feeds.
  • Every certificate is appended to a public Merkle transparency log.
  • Every certificate is signed; the verifying public keys are published at GET /v1/status.
  • Raw inputs are never sold or shared, and they never go anywhere near telemetry.