Overview

Proof of Decompile pays reverse engineers for the source of closed Solana programs, and lets buyers pay only once a machine has shown the source works. Nobody locks money up front. A hunter rebuilds a program as a Rust crate and submits it encrypted. The judge compiles it and replays real mainnet instructions against the original bytecode. A PASS becomes a public proof ticket; the source stays encrypted until someone pays to decrypt it.

The loop

  1. Anyone signs a wish for a program id with a price. No deposit.
  2. A hunter submits a crate on any program, with or without a wish, and sets an unlock price of at least 25 USDC.
  3. The judge builds and replays it. PASS or FAIL, with a report and its sha256.
  4. A buyer unlocks the proof in USDC within the windows; the archive decrypts in their browser and its sha256 is checked against the commitment printed on the ticket.
  5. The hunter receives 92% at once. 8% is bought into $POD and burned once the token exists.

What it is for

Audit, interoperability and security research: teams that integrate with a closed program, auditors who need to read what holds user funds, researchers who need to know what an upgrade changed. Requesters confirm a legitimate interest when they sign a wish; hunters confirm the work is theirs when they submit.

Takedown

A program owner who believes a published source infringes their rights can ask for its removal with the takedown form: the program id, the proof number, a contact and the basis of the claim. Requests are answered within 7 days, and published archives covered by a valid request are taken down.

Wishing