This repository is a demonstration using the RISC0 zkVM to generate a zero-knowledge key-statement proof, which asserts that for some hash
$SHA256(k) = z$ -
$kG = P$ .
This allows the prover to use bitcoin payment tools like Hash-Time Lock Contracts or the Lightning Network to pay for
This demonstrates in principle the way in which further claims about
-
$k$ is a signature by a valid signature by a given pubkey. -
$k$ is a share in a given Shamir Secret Sharing group. -
$k$ is a valid decryption key for a certain ciphertext. -
$k$ is a solution to a given sudoku puzzle. - etc.
This opens up a wealth of previously unexplored possibilities to effectively market the sale of secret information in a safe and secure manner.
This repo is currently not fully functional.
To run the proof:
$ cargo run .