mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-30 13:42:24 +03:00
48 lines
1.9 KiB
XML
48 lines
1.9 KiB
XML
// Copyright (C) 2019-2021 Aleo Systems Inc.
|
|
// This file is part of the Leo library.
|
|
|
|
// The Leo library 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.
|
|
|
|
// The Leo library 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 the Leo library. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
// use leo_ast::Input;
|
|
// use leo_input::LeoInputParser;
|
|
// use leo_state::verify_record_commitment;
|
|
//
|
|
// use snarkvm_dpc::base_dpc::instantiated::*;
|
|
//
|
|
// use rand_core::SeedableRng;
|
|
// use rand_xorshift::XorShiftRng;
|
|
//
|
|
// // TODO (Collin): Update input to reflect new parameter ordering.
|
|
// #[test]
|
|
// #[ignore]
|
|
// fn test_verify_record_from_file() {
|
|
// let mut rng = XorShiftRng::seed_from_u64(1231275789u64);
|
|
//
|
|
// // Generate parameters for the record commitment scheme
|
|
// let system_parameters = InstantiatedDPC::generate_system_parameters(&mut rng).unwrap();
|
|
//
|
|
// // Load test record state file from `inputs/test.state`
|
|
// let file_bytes = include_bytes!("inputs/test_record.state");
|
|
// let file_string = String::from_utf8_lossy(file_bytes);
|
|
// let file = LeoInputParser::parse_file(&file_string).unwrap();
|
|
//
|
|
// let mut program_input = Input::new();
|
|
// program_input.parse_state(file).unwrap();
|
|
//
|
|
// let typed_record = program_input.get_record();
|
|
//
|
|
// // check record state is correct by verifying commitment
|
|
// let _values = verify_record_commitment(&system_parameters, typed_record).unwrap();
|
|
// }
|