charms 13.0.0

Programmable assets on Bitcoin and beyond
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

pub mod app;
pub mod cli;
pub mod script;
pub mod spell;
pub mod tx;
pub mod utils;

pub use charms_proof_wrapper::SPELL_CHECKER_VK;

/// RISC-V binary compiled from `charms-spell-checker`.
pub const SPELL_CHECKER_BINARY: &[u8] = include_bytes!("./bin/charms-spell-checker");
/// RISC-V binary compiled from `charms-proof-wrapper`.
pub const PROOF_WRAPPER_BINARY: &[u8] = include_bytes!("./bin/charms-proof-wrapper");

#[cfg(test)]
mod test {
    use super::*;
    use charms_lib::SPELL_VK;
    use sp1_sdk::{Elf, HashableKey, Prover, ProverClient, ProvingKey};

    #[tokio::test]
    async fn test_spell_vk() {
        let a = std::fs::metadata("./src/bin/charms-spell-checker")
            .unwrap()
            .modified()
            .unwrap();
        let b = std::fs::metadata("./src/bin/charms-proof-wrapper")
            .unwrap()
            .modified()
            .unwrap();
        assert!(
            a <= b,
            "charms-spell-checker MUST NOT be NEWER than charms-proof-wrapper"
        );

        let client = ProverClient::builder().light().build().await;

        let pk = client
            .setup(Elf::Static(PROOF_WRAPPER_BINARY))
            .await
            .unwrap();
        let s = pk.verifying_key().bytes32();
        assert_eq!(SPELL_VK, s.as_str());
    }
}