// Smoldot

// Copyright (C) 2023  Pierre Krieger

// SPDX-License-Identifier: GPL-3.0-or-later WITH Classpath-exception-2.0

// This program is free software: you can redistribute it and/or modify

// it under the terms of the GNU General Public License as published by

// the Free Software Foundation, either version 3 of the License, or

// (at your option) any later version.

// This program is distributed in the hope that it will be useful,

// but WITHOUT ANY WARRANTY; without even the implied warranty of

// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License

// along with this program.  If not, see <http://www.gnu.org/licenses/>.

#![cfg(test)]

use crate::{

    executor::{self, runtime_call},

    header,

    trie::proof_decode,

};

use core::iter;

#[test]

fn validate_from_proof() {

    // Regression test for <https://github.com/smol-dot/smoldot/issues/873>.

    let test: Test = serde_json::from_str(include_str!("./test-fixture.json")).unwrap();

    let runtime = executor::host::HostVmPrototype::new(executor::host::Config {

        module: hex::decode(&test.runtime_code).unwrap(),

        heap_pages: executor::DEFAULT_HEAP_PAGES,

        allow_unresolved_imports: true,

        exec_hint: executor::vm::ExecHint::ExecuteOnceWithNonDeterministicValidation,

    })

    .unwrap();

    let call_proof = proof_decode::decode_and_verify_proof(proof_decode::Config {

        proof: hex::decode(&test.call_proof).unwrap(),

    })

    .unwrap();

    let scale_encoded_header = hex::decode(test.block_header).unwrap();

    let main_trie_root = header::decode(&scale_encoded_header, 4).unwrap().state_root;

    let mut validation_in_progress = runtime_call::run(runtime_call::Config {

        virtual_machine: runtime,

        function_to_call: super::VALIDATION_FUNCTION_NAME,

        parameter: super::validate_transaction_runtime_parameters_v3(

            iter::once(&hex::decode(test.transaction_bytes).unwrap()),

            super::TransactionSource::External,

            &header::hash_from_scale_encoded_header(&scale_encoded_header),

        ),

        storage_proof_size_behavior:

            runtime_call::StorageProofSizeBehavior::proof_recording_disabled(),

        storage_main_trie_changes: Default::default(),

        max_log_level: 0,

        calculate_trie_changes: false,

    })

    .unwrap();

    loop {

        match validation_in_progress {

            runtime_call::RuntimeCall::Finished(Ok(_)) => return, // Success,

            runtime_call::RuntimeCall::Finished(Err(_)) => panic!(),

            runtime_call::RuntimeCall::StorageGet(get) => {

                let value = call_proof

                    .storage_value(main_trie_root, get.key().as_ref())

                    .unwrap();

                validation_in_progress =

                    get.inject_value(value.map(|(val, ver)| 
(iter::once(val), ver)14
));

            }

            runtime_call::RuntimeCall::NextKey(nk) => {

                let next_key = call_proof

                    .next_key(

                        main_trie_root,

                        nk.key(),

                        nk.or_equal(),

                        nk.prefix(),

                        nk.branch_nodes(),

                    )

                    .unwrap();

                validation_in_progress = nk.inject_key(next_key);

            }

            runtime_call::RuntimeCall::ClosestDescendantMerkleValue(mv) => {

                let value = call_proof

                    .closest_descendant_merkle_value(main_trie_root, mv.key())

                    .unwrap();

                validation_in_progress = mv.inject_merkle_value(value);

            }

            runtime_call::RuntimeCall::SignatureVerification(r) => {

                validation_in_progress = r.verify_and_resume()

            }

            runtime_call::RuntimeCall::LogEmit(r) => validation_in_progress = r.resume(),

            runtime_call::RuntimeCall::OffchainStorageSet(r) => validation_in_progress = r.resume(),

            runtime_call::RuntimeCall::Offchain(_) => panic!(),

        }

    }

}

// Serde structs used to decode the test fixtures.

#[derive(
s5
erde::Deserialize)]

_RINvXs_NvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtBa_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB5_7___FieldB1h_11deserializeINtNtCscu7pqq74Vb8_10serde_json2de6MapKeyNtNtB2I_4read7StrReadEEBg_

Line

Count

Source

107

4

#[derive(serde::Deserialize)]

Unexecuted instantiation: _RINvXs0_NvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtBb_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB6_9___VisitorNtB1k_7Visitor9visit_seqINtNtCscu7pqq74Vb8_10serde_json2de9SeqAccessNtNtB2S_4read7StrReadEEBh_

_RINvXs0_NvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtBb_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB6_9___VisitorNtB1k_7Visitor9visit_mapINtNtCscu7pqq74Vb8_10serde_json2de9MapAccessNtNtB2S_4read7StrReadEEBh_

Line

Count

Source

107

5

#[derive(
s1
erde::Deserialize)]

_RINvXNvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtB8_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB3_14___FieldVisitorNtB1h_7Visitor9visit_strNtNtCscu7pqq74Vb8_10serde_json5error5ErrorEBe_

Line

Count

Source

107

4

#[derive(serde::Deserialize)]

Unexecuted instantiation: _RNvXs0_NvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtBa_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB5_9___VisitorNtB1j_7Visitor9expecting

Unexecuted instantiation: _RNvXNvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtB7_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB2_14___FieldVisitorNtB1g_7Visitor9expecting

Unexecuted instantiation: _RINvXNvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtB8_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB3_14___FieldVisitorNtB1h_7Visitor9visit_u64pEBe_

Unexecuted instantiation: _RINvXNvXNvNtNtNtCsN16ciHI6Qf_7smoldot12transactions8validate5tests1__NtB8_4TestNtNtCsf0yC2YK6bpM_5serde2de11Deserialize11deserializeNtB3_14___FieldVisitorNtB1h_7Visitor11visit_bytespEBe_

struct Test {

    #[serde(rename = "transactionBytes")]

    transaction_bytes: String,

    #[serde(rename = "runtimeCode")]

    runtime_code: String,

    #[serde(rename = "callProof")]

    call_proof: String,

    #[serde(rename = "blockHeader")]

    block_header: String,

}