29:I[49813,["/_next/static/chunks/3z--bwudlglfp.js","/_next/static/chunks/2u04xn-9yg2co.js","/_next/static/chunks/1b5-8ftwqgmtb.js","/_next/static/chunks/3nqo6bdos11l6.js","/_next/static/chunks/0fz0mlrjifmq7.js","/_next/static/chunks/2l43yyot7shmw.js","/_next/static/chunks/29v1ttach42xh.js","/_next/static/chunks/2ziic7alkvd8r.js","/_next/static/chunks/1hplpmn3-d0tx.js"],"CodeWorkspace"] 2a:T5213,/** * Copyright (c) 2011-2026 libbitcoin developers * * This file is part of libbitcoin. * * This program is free software: you can redistribute it and/or modify * it under the terms of the GNU Affero 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 Affero General Public License for more details. * * You should have received a copy of the GNU Affero General Public License * along with this program. If not, see . */ #include "../test.hpp" #include "accessor.hpp" BOOST_AUTO_TEST_SUITE(program_batch_tests) using namespace system::chain; using namespace system::machine; // Batch capture fallbacks (protected surface). // ---------------------------------------------------------------------------- // Batching is gated on the running script being an output script of a // batchable pattern; every other route falls through to inline verification. using batch_accessor = interpreter_accessor; constexpr auto batch_secret = base16_array("0000000000000000000000000000000000000000000000000000000000000001"); static data_chunk batch_key() NOEXCEPT { ec_compressed public_key{}; secret_to_public(public_key, batch_secret); return to_chunk(public_key); } static script batch_p2pk() NOEXCEPT { const operations ops { operation{ batch_key(), false }, operation{ opcode::checksig } }; return script{ ops }; } // The key is supplied by the input, so its size is not constrained here. static script batch_p2kh() NOEXCEPT { const operations ops { operation{ opcode::dup }, operation{ opcode::hash160 }, operation{ data_chunk(short_hash_size, 0x42), true }, operation{ opcode::equalverify }, operation{ opcode::checksig } }; return script{ ops }; } static script batch_multisig() NOEXCEPT { const auto positive1 = operation::opcode_from_positive(1_u8); const operations ops { operation{ positive1 }, operation{ batch_key(), false }, operation{ positive1 }, operation{ opcode::checkmultisig } }; return script{ ops }; } // A point of neither compressed nor uncompressed size verifies inline. BOOST_AUTO_TEST_CASE(program__verify_ecdsa_signature__uncompressible_point__false) { const chain::signatures capture{ true }; const auto tx = accessor_transaction(script{}, max_input_sequence, 0, 1); const auto it = tx.inputs_ptr()->begin(); const batch_accessor in{ tx, it, flags::no_rules, capture }; const batch_accessor out{ in, to_shared