zkpo 0.0.1

Zero knowledge program operations
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use std::sync::OnceLock;

use anyhow::Result;
use risc0_zkvm::Digest;
use risc0_zkvm::{ExecutorEnv, Receipt, default_prover};

use crate::ZKAgent;
use crate::ZKProgram;
use crate::ZKProof;

#[derive(Clone, Debug)]
pub struct ZKRiscZeroProof {
    pub receipt_bytes: Vec<u8>,
    pub program_id: &'static [u8; 32],
}

impl ZKProof for ZKRiscZeroProof {
    fn agent(&self) -> Option<&dyn ZKAgent> {
        static DEFAULT: OnceLock<ZKRiscZeroAgent> = OnceLock::new();
        Some(DEFAULT.get_or_init(|| ZKRiscZeroAgent::default()))
    }

    fn cipher_bytes(&self) -> &[u8] {
        &self.receipt_bytes
    }

    fn program_id(&self) -> &'static [u8; 32] {
        self.program_id
    }
}

/// TODO: serialize as well, so provers can be embedded in network data
/// for declarative zk proofs. related: typetag
#[derive(Clone, Default, Debug)]
pub struct ZKRiscZeroAgent;

impl ZKAgent for ZKRiscZeroAgent {
    fn execute(&self, input: &[u8], program: &dyn ZKProgram) -> Result<Box<dyn ZKProof>> {
        // build an executor with the supplied input
        let env = ExecutorEnv::builder().write_slice(input).build()?;
        // use the default risc0 prover
        let prover = default_prover();
        // Produce a receipt by proving the specified ELF binary.
        let receipt = prover.prove(env, program.elf())?.receipt;
        Ok(Box::new(ZKRiscZeroProof {
            receipt_bytes: bincode::serialize(&receipt)?,
            program_id: program.id(),
        }))
    }

    fn verify(&self, proof: &dyn ZKProof) -> Result<Vec<u8>> {
        let receipt = bincode::deserialize::<Receipt>(proof.cipher_bytes())?;
        let digest = Digest::from_bytes(*proof.program_id());
        receipt.verify(digest)?;
        Ok(receipt.journal.bytes)
    }
}

mod tests {
    #[test]
    fn build_prove() {}
}