LCOV - code coverage report
Current view: top level - src - signet.cpp (source / functions) Hit Total Coverage
Test: fuzz_coverage.info Lines: 0 84 0.0 %
Date: 2023-11-06 23:13:05 Functions: 0 4 0.0 %
Branches: 0 154 0.0 %

           Branch data     Line data    Source code
       1                 :            : // Copyright (c) 2019-2021 The Bitcoin Core developers
       2                 :            : // Distributed under the MIT software license, see the accompanying
       3                 :            : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       4                 :            : 
       5                 :            : #include <signet.h>
       6                 :            : 
       7                 :            : #include <array>
       8                 :            : #include <cstdint>
       9                 :            : #include <vector>
      10                 :            : 
      11                 :            : #include <common/system.h>
      12                 :            : #include <consensus/merkle.h>
      13                 :            : #include <consensus/params.h>
      14                 :            : #include <consensus/validation.h>
      15                 :            : #include <core_io.h>
      16                 :            : #include <hash.h>
      17                 :            : #include <logging.h>
      18                 :            : #include <primitives/block.h>
      19                 :            : #include <primitives/transaction.h>
      20                 :            : #include <script/interpreter.h>
      21                 :            : #include <span.h>
      22                 :            : #include <streams.h>
      23                 :            : #include <uint256.h>
      24                 :            : #include <util/strencodings.h>
      25                 :            : 
      26                 :            : static constexpr uint8_t SIGNET_HEADER[4] = {0xec, 0xc7, 0xda, 0xa2};
      27                 :            : 
      28                 :            : static constexpr unsigned int BLOCK_SCRIPT_VERIFY_FLAGS = SCRIPT_VERIFY_P2SH | SCRIPT_VERIFY_WITNESS | SCRIPT_VERIFY_DERSIG | SCRIPT_VERIFY_NULLDUMMY;
      29                 :            : 
      30                 :          0 : static bool FetchAndClearCommitmentSection(const Span<const uint8_t> header, CScript& witness_commitment, std::vector<uint8_t>& result)
      31                 :            : {
      32                 :          0 :     CScript replacement;
      33                 :          0 :     bool found_header = false;
      34                 :          0 :     result.clear();
      35                 :            : 
      36                 :            :     opcodetype opcode;
      37 [ #  # ][ #  # ]:          0 :     CScript::const_iterator pc = witness_commitment.begin();
      38                 :          0 :     std::vector<uint8_t> pushdata;
      39 [ #  # ][ #  # ]:          0 :     while (witness_commitment.GetOp(pc, opcode, pushdata)) {
      40         [ #  # ]:          0 :         if (pushdata.size() > 0) {
      41 [ #  # ][ #  # ]:          0 :             if (!found_header && pushdata.size() > (size_t)header.size() && Span{pushdata}.first(header.size()) == header) {
         [ #  # ][ #  # ]
      42                 :            :                 // pushdata only counts if it has the header _and_ some data
      43         [ #  # ]:          0 :                 result.insert(result.end(), pushdata.begin() + header.size(), pushdata.end());
      44         [ #  # ]:          0 :                 pushdata.erase(pushdata.begin() + header.size(), pushdata.end());
      45                 :          0 :                 found_header = true;
      46                 :          0 :             }
      47         [ #  # ]:          0 :             replacement << pushdata;
      48                 :          0 :         } else {
      49         [ #  # ]:          0 :             replacement << opcode;
      50                 :            :         }
      51                 :            :     }
      52                 :            : 
      53 [ #  # ][ #  # ]:          0 :     if (found_header) witness_commitment = replacement;
      54                 :          0 :     return found_header;
      55                 :          0 : }
      56                 :            : 
      57                 :          0 : static uint256 ComputeModifiedMerkleRoot(const CMutableTransaction& cb, const CBlock& block)
      58                 :            : {
      59                 :          0 :     std::vector<uint256> leaves;
      60         [ #  # ]:          0 :     leaves.resize(block.vtx.size());
      61         [ #  # ]:          0 :     leaves[0] = cb.GetHash();
      62         [ #  # ]:          0 :     for (size_t s = 1; s < block.vtx.size(); ++s) {
      63         [ #  # ]:          0 :         leaves[s] = block.vtx[s]->GetHash();
      64                 :          0 :     }
      65         [ #  # ]:          0 :     return ComputeMerkleRoot(std::move(leaves));
      66                 :          0 : }
      67                 :            : 
      68                 :          0 : std::optional<SignetTxs> SignetTxs::Create(const CBlock& block, const CScript& challenge)
      69                 :            : {
      70                 :          0 :     CMutableTransaction tx_to_spend;
      71                 :          0 :     tx_to_spend.nVersion = 0;
      72                 :          0 :     tx_to_spend.nLockTime = 0;
      73 [ #  # ][ #  # ]:          0 :     tx_to_spend.vin.emplace_back(COutPoint(), CScript(OP_0), 0);
                 [ #  # ]
      74         [ #  # ]:          0 :     tx_to_spend.vout.emplace_back(0, challenge);
      75                 :            : 
      76         [ #  # ]:          0 :     CMutableTransaction tx_spending;
      77                 :          0 :     tx_spending.nVersion = 0;
      78                 :          0 :     tx_spending.nLockTime = 0;
      79 [ #  # ][ #  # ]:          0 :     tx_spending.vin.emplace_back(COutPoint(), CScript(), 0);
                 [ #  # ]
      80 [ #  # ][ #  # ]:          0 :     tx_spending.vout.emplace_back(0, CScript(OP_RETURN));
      81                 :            : 
      82                 :            :     // can't fill any other fields before extracting signet
      83                 :            :     // responses from block coinbase tx
      84                 :            : 
      85                 :            :     // find and delete signet signature
      86         [ #  # ]:          0 :     if (block.vtx.empty()) return std::nullopt; // no coinbase tx in block; invalid
      87 [ #  # ][ #  # ]:          0 :     CMutableTransaction modified_cb(*block.vtx.at(0));
      88                 :            : 
      89         [ #  # ]:          0 :     const int cidx = GetWitnessCommitmentIndex(block);
      90         [ #  # ]:          0 :     if (cidx == NO_WITNESS_COMMITMENT) {
      91                 :          0 :         return std::nullopt; // require a witness commitment
      92                 :            :     }
      93                 :            : 
      94         [ #  # ]:          0 :     CScript& witness_commitment = modified_cb.vout.at(cidx).scriptPubKey;
      95                 :            : 
      96                 :          0 :     std::vector<uint8_t> signet_solution;
      97 [ #  # ][ #  # ]:          0 :     if (!FetchAndClearCommitmentSection(SIGNET_HEADER, witness_commitment, signet_solution)) {
      98                 :            :         // no signet solution -- allow this to support OP_TRUE as trivial block challenge
      99                 :          0 :     } else {
     100                 :            :         try {
     101 [ #  # ][ #  # ]:          0 :             SpanReader v{INIT_PROTO_VERSION, signet_solution};
     102         [ #  # ]:          0 :             v >> tx_spending.vin[0].scriptSig;
     103         [ #  # ]:          0 :             v >> tx_spending.vin[0].scriptWitness.stack;
     104 [ #  # ][ #  # ]:          0 :             if (!v.empty()) return std::nullopt; // extraneous data encountered
     105         [ #  # ]:          0 :         } catch (const std::exception&) {
     106                 :          0 :             return std::nullopt; // parsing error
     107         [ #  # ]:          0 :         }
     108                 :            :     }
     109         [ #  # ]:          0 :     uint256 signet_merkle = ComputeModifiedMerkleRoot(modified_cb, block);
     110                 :            : 
     111                 :          0 :     std::vector<uint8_t> block_data;
     112         [ #  # ]:          0 :     CVectorWriter writer{INIT_PROTO_VERSION, block_data, 0};
     113         [ #  # ]:          0 :     writer << block.nVersion;
     114         [ #  # ]:          0 :     writer << block.hashPrevBlock;
     115         [ #  # ]:          0 :     writer << signet_merkle;
     116         [ #  # ]:          0 :     writer << block.nTime;
     117         [ #  # ]:          0 :     tx_to_spend.vin[0].scriptSig << block_data;
     118 [ #  # ][ #  # ]:          0 :     tx_spending.vin[0].prevout = COutPoint(tx_to_spend.GetHash(), 0);
     119                 :            : 
     120 [ #  # ][ #  # ]:          0 :     return SignetTxs{tx_to_spend, tx_spending};
     121                 :          0 : }
     122                 :            : 
     123                 :            : // Signet block solution checker
     124                 :          0 : bool CheckSignetBlockSolution(const CBlock& block, const Consensus::Params& consensusParams)
     125                 :            : {
     126         [ #  # ]:          0 :     if (block.GetHash() == consensusParams.hashGenesisBlock) {
     127                 :            :         // genesis block solution is always valid
     128                 :          0 :         return true;
     129                 :            :     }
     130                 :            : 
     131                 :          0 :     const CScript challenge(consensusParams.signet_challenge.begin(), consensusParams.signet_challenge.end());
     132         [ #  # ]:          0 :     const std::optional<SignetTxs> signet_txs = SignetTxs::Create(block, challenge);
     133                 :            : 
     134         [ #  # ]:          0 :     if (!signet_txs) {
     135 [ #  # ][ #  # ]:          0 :         LogPrint(BCLog::VALIDATION, "CheckSignetBlockSolution: Errors in block (block solution parse failure)\n");
         [ #  # ][ #  # ]
                 [ #  # ]
     136                 :          0 :         return false;
     137                 :            :     }
     138                 :            : 
     139                 :          0 :     const CScript& scriptSig = signet_txs->m_to_sign.vin[0].scriptSig;
     140                 :          0 :     const CScriptWitness& witness = signet_txs->m_to_sign.vin[0].scriptWitness;
     141                 :            : 
     142         [ #  # ]:          0 :     PrecomputedTransactionData txdata;
     143 [ #  # ][ #  # ]:          0 :     txdata.Init(signet_txs->m_to_sign, {signet_txs->m_to_spend.vout[0]});
                 [ #  # ]
     144         [ #  # ]:          0 :     TransactionSignatureChecker sigcheck(&signet_txs->m_to_sign, /* nInIn= */ 0, /* amountIn= */ signet_txs->m_to_spend.vout[0].nValue, txdata, MissingDataBehavior::ASSERT_FAIL);
     145                 :            : 
     146 [ #  # ][ #  # ]:          0 :     if (!VerifyScript(scriptSig, signet_txs->m_to_spend.vout[0].scriptPubKey, &witness, BLOCK_SCRIPT_VERIFY_FLAGS, sigcheck)) {
     147 [ #  # ][ #  # ]:          0 :         LogPrint(BCLog::VALIDATION, "CheckSignetBlockSolution: Errors in block (block solution invalid)\n");
         [ #  # ][ #  # ]
                 [ #  # ]
     148                 :          0 :         return false;
     149                 :            :     }
     150                 :          0 :     return true;
     151                 :          0 : }

Generated by: LCOV version 1.14