feat: Disable jet_check_sig_verify

Fixes BlockstreamResearch#66

Author: uncomputable

codegen/src/jet.rs

@@ -847,8 +847,8 @@ const ELLIPTIC_CURVE_FUNCTIONS: [Elements; 40] = [
     Elements::Decompress, Elements::FeAdd, Elements::FeInvert, Elements::FeIsOdd, Elements::FeIsZero, Elements::FeMultiply, Elements::FeMultiplyBeta, Elements::FeNegate, Elements::FeNormalize, Elements::FeSquare, Elements::FeSquareRoot, Elements::GeIsOnCurve, Elements::GeNegate, Elements::GejAdd, Elements::GejDouble, Elements::GejEquiv, Elements::GejGeAdd, Elements::GejGeAddEx, Elements::GejGeEquiv, Elements::GejInfinity, Elements::GejIsInfinity, Elements::GejIsOnCurve, Elements::GejNegate, Elements::GejNormalize, Elements::GejRescale, Elements::GejXEquiv, Elements::GejYIsOdd, Elements::Generate, Elements::LinearCombination1, Elements::LinearVerify1, Elements::PointVerify1, Elements::ScalarAdd, Elements::ScalarInvert, Elements::ScalarIsZero, Elements::ScalarMultiply, Elements::ScalarMultiplyLambda, Elements::ScalarNegate, Elements::ScalarNormalize, Elements::ScalarSquare, Elements::Scale
 ];
 #[rustfmt::skip]
-const DIGITAL_SIGNATURES: [Elements; 2] = [
-    Elements::Bip0340Verify, Elements::CheckSigVerify
+const DIGITAL_SIGNATURES: [Elements; 1] = [
+    Elements::Bip0340Verify
 ];
 #[rustfmt::skip]
 const BITCOIN: [Elements; 2] = [
@@ -871,6 +871,10 @@ const ISSUANCE: [Elements; 8] = [
 const TRANSACTION: [Elements; 49] = [
     Elements::CurrentAmount, Elements::CurrentAnnexHash, Elements::CurrentAsset, Elements::CurrentIndex, Elements::CurrentIssuanceAssetAmount, Elements::CurrentIssuanceAssetProof, Elements::CurrentIssuanceTokenAmount, Elements::CurrentIssuanceTokenProof, Elements::CurrentNewIssuanceContract, Elements::CurrentPegin, Elements::CurrentPrevOutpoint, Elements::CurrentReissuanceBlinding, Elements::CurrentReissuanceEntropy, Elements::CurrentScriptHash, Elements::CurrentScriptSigHash, Elements::CurrentSequence, Elements::GenesisBlockHash, Elements::InputAmount, Elements::InputAnnexHash, Elements::InputAsset, Elements::InputPegin, Elements::InputPrevOutpoint, Elements::InputScriptHash, Elements::InputScriptSigHash, Elements::InputSequence, Elements::InternalKey, Elements::IssuanceAssetAmount, Elements::IssuanceAssetProof, Elements::IssuanceTokenAmount, Elements::IssuanceTokenProof, Elements::LockTime, Elements::NewIssuanceContract, Elements::NumInputs, Elements::NumOutputs, Elements::OutputAmount, Elements::OutputAsset, Elements::OutputIsFee, Elements::OutputNonce, Elements::OutputNullDatum, Elements::OutputRangeProof, Elements::OutputScriptHash, Elements::OutputSurjectionProof, Elements::ReissuanceBlinding, Elements::ReissuanceEntropy, Elements::ScriptCMR, Elements::TapleafVersion, Elements::Tappath, Elements::TotalFee, Elements::Version
 ];
+#[rustfmt::skip]
+const DISABLED: [Elements; 1] = [
+    Elements::CheckSigVerify
+];
 
 #[cfg(test)]
 mod tests {
@@ -897,7 +901,9 @@ mod tests {
                         None => {}
                     }
                 }
-                None => panic!("{jet} is not categorized"),
+                None => {
+                    assert!(DISABLED.contains(&jet), "{jet} is not categorized")
+                }
             }
         }
     }

src/ast.rs

@@ -963,10 +963,12 @@ impl AbstractSyntaxTree for CallName {
         scope: &mut Scope,
     ) -> Result<Self, RichError> {
         match &from.name {
-            parse::CallName::Jet(name) => Elements::from_str(name.as_inner())
-                .map_err(|_| Error::JetDoesNotExist(name.clone()))
-                .map(Self::Jet)
-                .with_span(from),
+            parse::CallName::Jet(name) => match Elements::from_str(name.as_inner()) {
+                Ok(Elements::CheckSigVerify) | Err(_) => {
+                    Err(Error::JetDoesNotExist(name.clone())).with_span(from)
+                }
+                Ok(jet) => Ok(Self::Jet(jet)),
+            },
             parse::CallName::UnwrapLeft(right_ty) => scope
                 .resolve(right_ty)
                 .map(Self::UnwrapLeft)