Function test_final_circuit

prover/src/lib.rs:193–259

()

    /// Run this test only when build for the mainnet
    #[test]
    fn test_final_circuit() {
        let final_circuit_elf = include_bytes!("../elfs/mainnet-final-spv-guest.bin");
        let header_chain_circuit_elf = include_bytes!("../elfs/mainnet-header-chain-guest.bin");
        println!(
            "Header chain circuit id: {:#?}",
            compute_image_id(header_chain_circuit_elf)
                .unwrap()
                .as_words()
        );
        let final_proof = include_bytes!("../data/mainnet_first_10.bin");
        let final_circuit_id = compute_image_id(final_circuit_elf).unwrap();

        let receipt: Receipt = Receipt::try_from_slice(final_proof).unwrap();

        let mut mmr_native = MMRNative::new();
        for block_hash in MAINNET_BLOCK_HASHES.iter() {
            mmr_native.append(*block_hash);
        }

        let output = BlockHeaderCircuitOutput::try_from_slice(&receipt.journal.bytes).unwrap();
        let tx: CircuitTransaction = CircuitTransaction(bitcoin::consensus::deserialize(&Vec::<u8>::from_hex("01000000010000000000000000000000000000000000000000000000000000000000000000ffffffff4d04ffff001d0104455468652054696d65732030332f4a616e2f32303039204368616e63656c6c6f72206f6e206272696e6b206f66207365636f6e64206261696c6f757420666f722062616e6b73ffffffff0100f2052a01000000434104678afdb0fe5548271967f1a67130b7105cd6a828e03909a67962e0ea1f61deb649f6bc3f4cef38c4f35504e51ec112de5c384df7ba0b8d578a4c702b6bf11d5fac00000000").unwrap()).unwrap());
        let block_header: CircuitBlockHeader = CircuitBlockHeader::try_from_slice(Vec::<u8>::from_hex("0100000000000000000000000000000000000000000000000000000000000000000000003ba3edfd7a7b12b27ac72c3e67768f617fc81bc3888a51323a9fb8aa4b1e5e4a29ab5f49ffff001d1dac2b7c").unwrap().as_slice()).unwrap();
        let bitcoin_merkle_tree: BitcoinMerkleTree = BitcoinMerkleTree::new(vec![tx.txid()]);
        let bitcoin_inclusion_proof = bitcoin_merkle_tree.generate_proof(0);
        let (_, mmr_inclusion_proof) = mmr_native.generate_proof(0);
        let spv: SPV = SPV::new(
            tx,
            bitcoin_inclusion_proof,
            block_header,
            mmr_inclusion_proof,
        );
        let final_circuit_input: FinalCircuitInput = FinalCircuitInput {
            block_header_circuit_output: output,
            spv: spv,
        };
        let env = ExecutorEnv::builder()
            .write_slice(&borsh::to_vec(&final_circuit_input).unwrap())
            .add_assumption(receipt)
            .build()
            .unwrap();

        let prover = default_prover();

        let receipt = prover
            .prove_with_opts(env, final_circuit_elf, &ProverOpts::succinct())
            .unwrap()
            .receipt;

        let succinct_receipt = receipt.inner.succinct().unwrap().clone();
        let receipt_claim = succinct_receipt.clone().claim;
        println!("Receipt claim: {:#?}", receipt_claim);
        let journal: [u8; 32] = receipt.journal.bytes.clone().try_into().unwrap();
        let (proof, output_json_bytes) =
            stark_to_succinct(succinct_receipt, &receipt.journal.bytes);
        print!("Proof: {:#?}", proof);
        let constants_digest = calculate_succinct_output_prefix(final_circuit_id.as_bytes());
        println!("Constants digest: {:#?}", constants_digest);
        println!("Journal: {:#?}", receipt.journal);