@@ -2601,8 +2601,8 @@ void PrecomputedTransactionData::Init(const T& txTo, std::vector<CTxOut>&& spent
26012601 m_spent_output_spk_single_hashes = GetSpentScriptPubKeysSHA256 (m_spent_outputs);
26022602 m_output_spk_single_hashes = GetOutputScriptPubKeysSHA256 (txTo);
26032603
2604- std::vector<rawBuffer > simplicityRawAnnex (txTo.witness .vtxinwit .size ());
2605- std::vector<rawInput > simplicityRawInput (txTo.vin .size ());
2604+ std::vector<rawElementsBuffer > simplicityRawAnnex (txTo.witness .vtxinwit .size ());
2605+ std::vector<rawElementsInput > simplicityRawInput (txTo.vin .size ());
26062606 for (size_t i = 0 ; i < txTo.vin .size (); ++i) {
26072607 simplicityRawInput[i].prevTxid = txTo.vin [i].prevout .hash .begin ();
26082608 simplicityRawInput[i].prevIx = txTo.vin [i].prevout .n ;
@@ -2639,7 +2639,7 @@ void PrecomputedTransactionData::Init(const T& txTo, std::vector<CTxOut>&& spent
26392639 }
26402640 }
26412641
2642- std::vector<rawOutput > simplicityRawOutput (txTo.vout .size ());
2642+ std::vector<rawElementsOutput > simplicityRawOutput (txTo.vout .size ());
26432643 for (size_t i = 0 ; i < txTo.vout .size (); ++i) {
26442644 simplicityRawOutput[i].asset = txTo.vout [i].nAsset .vchCommitment .empty () ? NULL : txTo.vout [i].nAsset .vchCommitment .data ();
26452645 simplicityRawOutput[i].value = txTo.vout [i].nValue .vchCommitment .empty () ? NULL : txTo.vout [i].nValue .vchCommitment .data ();
@@ -2659,7 +2659,7 @@ void PrecomputedTransactionData::Init(const T& txTo, std::vector<CTxOut>&& spent
26592659 }
26602660 }
26612661
2662- rawTransaction simplicityRawTx;
2662+ rawElementsTransaction simplicityRawTx;
26632663 uint256 rawHash = txTo.GetHash ();
26642664 simplicityRawTx.txid = rawHash.begin ();
26652665 simplicityRawTx.input = simplicityRawInput.data ();
@@ -3114,14 +3114,14 @@ uint32_t GenericTransactionSignatureChecker<T>::GetnIn() const
31143114}
31153115
31163116template <class T >
3117- bool GenericTransactionSignatureChecker<T>::CheckSimplicity(const valtype& program, const valtype& witness, const rawTapEnv & simplicityRawTap, int64_t budget, ScriptError* serror) const
3117+ bool GenericTransactionSignatureChecker<T>::CheckSimplicity(const valtype& program, const valtype& witness, const rawElementsTapEnv & simplicityRawTap, int64_t budget, ScriptError* serror) const
31183118{
31193119 simplicity_err error;
3120- tapEnv * simplicityTapEnv = simplicity_elements_mallocTapEnv (&simplicityRawTap);
3120+ elementsTapEnv * simplicityTapEnv = simplicity_elements_mallocTapEnv (&simplicityRawTap);
31213121
31223122 assert (txdata->m_simplicity_tx_data );
31233123 assert (simplicityTapEnv);
3124- if (!simplicity_elements_execSimplicity (&error, 0 , txdata->m_simplicity_tx_data .get (), nIn, simplicityTapEnv, txdata->m_hash_genesis_block .data (), budget, 0 , program.data (), program.size (), witness.data (), witness.size ())) {
3124+ if (!simplicity_elements_execSimplicity (&error, 0 , txdata->m_simplicity_tx_data .get (), nIn, simplicityTapEnv, txdata->m_hash_genesis_block .data (), 0 , budget, 0 , program.data (), program.size (), witness.data (), witness.size ())) {
31253125 assert (!" simplicity_elements_execSimplicity internal error" );
31263126 }
31273127 simplicity_elements_freeTapEnv (simplicityTapEnv);
@@ -3154,6 +3154,7 @@ bool GenericTransactionSignatureChecker<T>::CheckSimplicity(const valtype& progr
31543154 case SIMPLICITY_ERR_ANTIDOS: return set_error (serror, SCRIPT_ERR_SIMPLICITY_ANTIDOS);
31553155 case SIMPLICITY_ERR_HIDDEN_ROOT: return set_error (serror, SCRIPT_ERR_SIMPLICITY_HIDDEN_ROOT);
31563156 case SIMPLICITY_ERR_AMR: return set_error (serror, SCRIPT_ERR_SIMPLICITY_AMR);
3157+ case SIMPLICITY_ERR_OVERWEIGHT: return set_error (serror, SCRIPT_ERR_SIMPLICITY_OVERWEIGHT);
31573158 default : return set_error (serror, SCRIPT_ERR_UNKNOWN_ERROR);
31583159 }
31593160}
@@ -3312,7 +3313,7 @@ static bool VerifyWitnessProgram(const CScriptWitness& witness, int witversion,
33123313 const valtype& simplicity_program = SpanPopBack (stack);
33133314 const valtype& simplicity_witness = SpanPopBack (stack);
33143315 const int64_t budget = ::GetSerializeSize (witness.stack , PROTOCOL_VERSION) + VALIDATION_WEIGHT_OFFSET;
3315- rawTapEnv simplicityRawTap;
3316+ rawElementsTapEnv simplicityRawTap;
33163317 simplicityRawTap.controlBlock = control.data ();
33173318 simplicityRawTap.pathLen = (control.size () - TAPROOT_CONTROL_BASE_SIZE) / TAPROOT_CONTROL_NODE_SIZE;
33183319 simplicityRawTap.scriptCMR = script_bytes.data ();
0 commit comments