diff --git a/primitives/src/lib.rs b/primitives/src/lib.rs index cf224fea..72e085d5 100644 --- a/primitives/src/lib.rs +++ b/primitives/src/lib.rs @@ -65,13 +65,13 @@ pub const LIB_NAME_BITCOIN: &str = "Bitcoin"; mod types { use std::fmt::{Formatter, LowerHex, UpperHex}; - use amplify::confinement::Confined; + use amplify::confinement::{Confined, U32}; use amplify::hex::ToHex; use super::LIB_NAME_BITCOIN; use crate::opcodes::*; - pub type VarIntArray = Confined, 0, { u64::MAX as usize }>; + pub type VarIntArray = Confined, 0, U32>; #[derive( Wrapper, WrapperMut, Clone, Ord, PartialOrd, Eq, PartialEq, Hash, Default, Debug, From diff --git a/primitives/src/stl.rs b/primitives/src/stl.rs index c3276529..b4d12530 100644 --- a/primitives/src/stl.rs +++ b/primitives/src/stl.rs @@ -24,7 +24,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib}; use crate::{Tx, LIB_NAME_BITCOIN}; -pub const LIB_ID_BITCOIN: &str = "extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL"; +pub const LIB_ID_BITCOIN: &str = "race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi"; fn _bitcoin_stl() -> Result { LibBuilder::new(libname!(LIB_NAME_BITCOIN), None) diff --git a/src/stl.rs b/src/stl.rs index 4bec8f25..11bc6998 100644 --- a/src/stl.rs +++ b/src/stl.rs @@ -29,7 +29,7 @@ use strict_types::{CompileError, LibBuilder, TypeLib}; /// Strict types id for the library providing data types from [`dbc`] and /// [`seals`] crates. -pub const LIB_ID_BPCORE: &str = "caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8"; +pub const LIB_ID_BPCORE: &str = "cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk"; fn _bp_core_stl() -> Result { LibBuilder::new(libname!(LIB_NAME_BPCORE), tiny_bset! { diff --git a/stl/BPCore@0.1.0.sta b/stl/BPCore@0.1.0.sta index 743c94d5..2377dce7 100644 --- a/stl/BPCore@0.1.0.sta +++ b/stl/BPCore@0.1.0.sta @@ -1,20 +1,20 @@ -----BEGIN STRICT TYPE LIB----- -Id: caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8 +Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk Name: BPCore Dependencies: + Bitcoin@race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi, CommitVerify@boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6, - Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ, - Bitcoin@extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL + Std@lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ -BkJQQ29yZQNo/oWqxQPRAN7X8Qvv7+k5aDjgtqM0zSL/+wAU+eTenQxDb21taXRW -ZXJpZnl7hIA8nvriESWnfCw5vHDS/ej5Q64N/Zz05oLtx2bKcANTdGTI5g1P1Bp6 -dFkQK9mzxQaDO9KOKO0p7suh+eiQDVqvfQdCaXRjb2luAwdCaXRjb2luBwAh4z5D -xapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdQRWb3V0Mbuu6ISJd8WwBzFyMc2S -9jC2KS3NiX/cut7FusTpf9kLVGFwTm9kZUhhc2hb5pqruCeuehagxl9y7oZ+Mn5j -A5qo1RsXaloUELLiaQtTY3JpcHRCeXRlc6OCQvPL19HQoRLajeFgL1bU+G8OxMR2 -xcBoWUxLBGVWBFR4aWS2MwmpGL+2kg1uyFikJIcjRlppP3JDB7//Hdc6c4FOyQdM -ZWFmVmVy2J0s+yNGJVx2h8TEbmc2mirrtn7CFL5zuLdndCSFNJAKTGVhZlNjcmlw -dN/4ADyB/kf8VCOx0sbiDw3fqma9zPN9dBPJH2XaADyICkludGVybmFsUGsMQ29t +BkJQQ29yZQNOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3VwdCaXRjb2lu +aP6FqsUD0QDe1/EL7+/pOWg44LajNM0i//sAFPnk3p0MQ29tbWl0VmVyaWZ5e4SA +PJ764hElp3wsObxw0v3o+UOuDf2c9OaC7cdmynADU3RkAwdCaXRjb2luBwAh4z5D +xapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdQRWb3V0Jav1uRIUF7qjOdRfexV1 +p3FL4Xp1GF3QMTV61Mkt6YYLU2NyaXB0Qnl0ZXMxu67ohIl3xbAHMXIxzZL2MLYp +Lc2Jf9y63sW6xOl/2QtUYXBOb2RlSGFzaF+s2W3lP07FFNmxjWeA2gqr6y0mC/03 +LaPAeqRdOZ9NCkxlYWZTY3JpcHSjgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXAaFlM +SwRlVgRUeGlktjMJqRi/tpINbshYpCSHI0ZaaT9yQwe//x3XOnOBTskHTGVhZlZl +ct/4ADyB/kf8VCOx0sbiDw3fqma9zPN9dBPJH2XaADyICkludGVybmFsUGsMQ29t bWl0VmVyaWZ5BwAwlX7mHWE0WbsFCOThrz1qIb/W+/sdMYKneeVFdOBWsQpQcm90 b2NvbElkNTepURXI6oXcUvergfJxZVEFJlOUQleviRPoe9SbsdMHTWVzc2FnZULF GsLNiIkRwDTnS2SnO9m9AucbTUghk+HZQVVfxTdrC01lcmtsZUJsb2NrS9qXoPsY @@ -23,52 +23,52 @@ QVUk6KSZYFHTlIJD8ZT38ZFXI+nmCk1lcmtsZU5vZGWA/T104s1Rr+RbtC60yXg0 bEQpt7maI6swqRsWaZRxhAtNZXJrbGVQcm9vZsu7H9dn+A6jR9rXfd7AM9xvuZ0B U4Va/+b/4miWdDClCFRyZWVOb2RlA1N0ZAEAoTHP5XeUUAFo4NmpHwcEk7tGqCfe /NiHyNf6fEN3efECVTQQAAhBbmNob3JJZAUBAAcAAEAgABFBbmNob3JNZXJrbGVC -bG9jawYDBHR4aWQCyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLz +bG9jawYDBHR4aWQCTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLz y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X 8Qvv7+k5aDjgtqM0zSL/+wAU+eTenULFGsLNiIkRwDTnS2SnO9m9AucbTUghk+HZ -QVVfxTdrCGRiY1Byb29mAdBJnvg60YXlq2aF9S3+k0tLnIiYhJjY2U4n3zmXsMiv -EUFuY2hvck1lcmtsZVByb29mBgMEdHhpZALI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p -7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWCG1wY1By +QVVfxTdrCGRiY1Byb29mAapKxGjifpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/ +EUFuY2hvck1lcmtsZVByb29mBgMEdHhpZAJOToT0cBbJ5dJifL/D9Day3WzU0bmw +RFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWCG1wY1By b29mAmj+harFA9EA3tfxC+/v6TloOOC2ozTNIv/7ABT55N6dgP09dOLNUa/kW7Qu -tMl4NGxEKbe5miOrMKkbFmmUcYQIZGJjUHJvb2YB0Eme+DrRheWrZoX1Lf6TS0uc -iJiEmNjZTiffOZewyK8QQW5jaG9yTWVya2xlVHJlZQYDBHR4aWQCyOYNT9QaenRZ -ECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXA +tMl4NGxEKbe5miOrMKkbFmmUcYQIZGJjUHJvb2YBqkrEaOJ+lLbWAyqWnbpW+11l +gVwJelAEcCXtiLMDlL8QQW5jaG9yTWVya2xlVHJlZQYDBHR4aWQCTk6E9HAWyeXS +Yny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLzy9fR0KES2o3hYC9W1PhvDsTEdsXA aFlMSwRlVghtcGNQcm9vZgJo/oWqxQPRAN7X8Qvv7+k5aDjgtqM0zSL/+wAU+eTe -nUval6D7GLbTTvqXBz5kLOO4o7SP5Q0TTPJf1UrDJmDnCGRiY1Byb29mAdBJnvg6 -0YXlq2aF9S3+k0tLnIiYhJjY2U4n3zmXsMivDkJsaW5kU2VhbFR4UHRyBgQGbWV0 +nUval6D7GLbTTvqXBz5kLOO4o7SP5Q0TTPJf1UrDJmDnCGRiY1Byb29mAapKxGji +fpS21gMqlp26VvtdZYFcCXpQBHAl7YizA5S/DkJsaW5kU2VhbFR4UHRyBgQGbWV0 aG9kAdJSMHx9cZA19zB+6Cgl7BuBK6GH3Z2YSYtKjRb6btVDBHR4aWQBseU4ORQK -OL7wbxrPvhxgpW/h4fR9eAgoeb/R+tMQId0Edm91dALI5g1P1Bp6dFkQK9mzxQaD -O9KOKO0p7suh+eiQDVqvfSHjPkPFqlzyKSdTozjBZ+07Y5xN2c69qY80aRe6yUN1 +OL7wbxrPvhxgpW/h4fR9eAgoeb/R+tMQId0Edm91dAJOToT0cBbJ5dJifL/D9Day +3WzU0bmwRFv/Xu+CdnJ3VyHjPkPFqlzyKSdTozjBZ+07Y5xN2c69qY80aRe6yUN1 CGJsaW5kaW5nAAAIDUJsaW5kU2VhbFR4aWQGBAZtZXRob2QB0lIwfH1xkDX3MH7o -KCXsG4EroYfdnZhJi0qNFvpu1UMEdHhpZALI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p -7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQC -yOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar30h4z5Dxapc8iknU6M4wWft +KCXsG4EroYfdnZhJi0qNFvpu1UMEdHhpZAJOToT0cBbJ5dJifL/D9Day3WzU0bmw +RFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQC +Tk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ch4z5Dxapc8iknU6M4wWft O2OcTdnOvamPNGkXuslDdQhibGluZGluZwAACAtDbG9zZU1ldGhvZAMCCm9wcmV0 Rmlyc3QAC3RhcHJldEZpcnN0ARFFeHBsaWNpdFNlYWxUeFB0cgYDBm1ldGhvZAHS UjB8fXGQNfcwfugoJewbgSuhh92dmEmLSo0W+m7VQwR0eGlkAbHlODkUCji+8G8a -z74cYKVv4eH0fXgIKHm/0frTECHdBHZvdXQCyOYNT9QaenRZECvZs8UGgzvSjijt -Ke7LofnokA1ar30h4z5Dxapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdRBFeHBs +z74cYKVv4eH0fXgIKHm/0frTECHdBHZvdXQCTk6E9HAWyeXSYny/w/Q2st1s1NG5 +sERb/17vgnZyd1ch4z5Dxapc8iknU6M4wWftO2OcTdnOvamPNGkXuslDdRBFeHBs aWNpdFNlYWxUeGlkBgMGbWV0aG9kAdJSMHx9cZA19zB+6Cgl7BuBK6GH3Z2YSYtK -jRb6btVDBHR4aWQCyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar32jgkLz -y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVgR2b3V0AsjmDU/UGnp0WRAr2bPF -BoM70o4o7Snuy6H56JANWq99IeM+Q8WqXPIpJ1OjOMFn7TtjnE3Zzr2pjzRpF7rJ -Q3UFUHJvb2YEAgAKb3ByZXRGaXJzdAAAAAELdGFwcmV0Rmlyc3QABQEByyejed/5 -9/qLbQK4/myCiCunPBRbw3DkSKqmlcWYhBcKU2VjcmV0U2VhbAUBAAcAAEAgABFU -YXByZXROb2RlUGFydG5lcgQDAAhsZWZ0Tm9kZQAFAQLI5g1P1Bp6dFkQK9mzxQaD -O9KOKO0p7suh+eiQDVqvfTG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE6X/Z -AQlyaWdodExlYWYABQECyOYNT9QaenRZECvZs8UGgzvSjijtKe7LofnokA1ar33Y -nSz7I0YlXHaHxMRuZzaaKuu2fsIUvnO4t2d0JIU0kAILcmlnaHRCcmFuY2gABQEB +jRb6btVDBHR4aWQCTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1ejgkLz +y9fR0KES2o3hYC9W1PhvDsTEdsXAaFlMSwRlVgR2b3V0Ak5OhPRwFsnl0mJ8v8P0 +NrLdbNTRubBEW/9e74J2cndXIeM+Q8WqXPIpJ1OjOMFn7TtjnE3Zzr2pjzRpF7rJ +Q3UFUHJvb2YEAgAKb3ByZXRGaXJzdAAAAAELdGFwcmV0Rmlyc3QABQEBGyc5NK5H +VuHrx50i/fbG0qXZSO79Qa2pcwuGhQ73eTAKU2VjcmV0U2VhbAUBAAcAAEAgABFU +YXByZXROb2RlUGFydG5lcgQDAAhsZWZ0Tm9kZQAFAQJOToT0cBbJ5dJifL/D9Day +3WzU0bmwRFv/Xu+CdnJ3VzG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE6X/Z +AQlyaWdodExlYWYABQECTk6E9HAWyeXSYny/w/Q2st1s1NG5sERb/17vgnZyd1df +rNlt5T9OxRTZsY1ngNoKq+stJgv9Ny2jwHqkXTmfTQILcmlnaHRCcmFuY2gABQEB OD9iLnFT0sghkTzLdx2fPWTfdvIoVVkt+EZDlBZNbQUPVGFwcmV0UGF0aFByb29m -BgILcGFydG5lck5vZGUABAIABG5vbmUAAAABBHNvbWUABQEBwDIKWb85YAZhnKXv -gXqEIgj3FbZYEAClVu1no0QekucFbm9uY2UAAAELVGFwcmV0UHJvb2YGAglwYXRo -UHJvb2YB8JiaY36R0lc8VLTv21cM1UBlbNgoT0Ph7kIeMO/lpW8KaW50ZXJuYWxQ -awLI5g1P1Bp6dFkQK9mzxQaDO9KOKO0p7suh+eiQDVqvfd/4ADyB/kf8VCOx0sbi +BgILcGFydG5lck5vZGUABAIABG5vbmUAAAABBHNvbWUABQEBAXwHXQBASxaVmBsX +w2Etxrjqrg1/cFlikhZ1WuUZkxEFbm9uY2UAAAELVGFwcmV0UHJvb2YGAglwYXRo +UHJvb2YBE8RTUmYnu0QljDtn9MzCfv785Ce3z14P/YGPL3572HwKaW50ZXJuYWxQ +awJOToT0cBbJ5dJifL/D9Day3WzU0bmwRFv/Xu+CdnJ3V9/4ADyB/kf8VCOx0sbi Dw3fqma9zPN9dBPJH2XaADyIEVRhcHJldFJpZ2h0QnJhbmNoBgIMbGVmdE5vZGVI -YXNoAsjmDU/UGnp0WRAr2bPFBoM70o4o7Snuy6H56JANWq99Mbuu6ISJd8WwBzFy -Mc2S9jC2KS3NiX/cut7FusTpf9kNcmlnaHROb2RlSGFzaALI5g1P1Bp6dFkQK9mz -xQaDO9KOKO0p7suh+eiQDVqvfTG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE -6X/ZBVR4UHRyBAIACXdpdG5lc3NUeAAAAAEEdHhpZAAFAQLI5g1P1Bp6dFkQK9mz -xQaDO9KOKO0p7suh+eiQDVqvfaOCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxL +YXNoAk5OhPRwFsnl0mJ8v8P0NrLdbNTRubBEW/9e74J2cndXMbuu6ISJd8WwBzFy +Mc2S9jC2KS3NiX/cut7FusTpf9kNcmlnaHROb2RlSGFzaAJOToT0cBbJ5dJifL/D +9Day3WzU0bmwRFv/Xu+CdnJ3VzG7ruiEiXfFsAcxcjHNkvYwtiktzYl/3LrexbrE +6X/ZBVR4UHRyBAIACXdpdG5lc3NUeAAAAAEEdHhpZAAFAQJOToT0cBbJ5dJifL/D +9Day3WzU0bmwRFv/Xu+CdnJ3V6OCQvPL19HQoRLajeFgL1bU+G8OxMR2xcBoWUxL BGVW -----END STRICT TYPE LIB----- diff --git a/stl/BPCore@0.1.0.stl b/stl/BPCore@0.1.0.stl index f57ce680..163fa322 100644 Binary files a/stl/BPCore@0.1.0.stl and b/stl/BPCore@0.1.0.stl differ diff --git a/stl/BPCore@0.1.0.sty b/stl/BPCore@0.1.0.sty index e208de21..5e745876 100644 --- a/stl/BPCore@0.1.0.sty +++ b/stl/BPCore@0.1.0.sty @@ -1,5 +1,5 @@ {- - Id: caramel_shoe_cover_6gYqGfYk3ibDWHBTUkLxiRQQbvqSdshGD9QrdFG7zvx8 + Id: cave_gemini_diana_4y3ZcuioPk3mJdudgWiyLUPxCSC5QxVuV89TyKiF5Eqk Name: BPCore Version: 0.1.0 Description: Bitcoin client-side-validation library @@ -10,6 +10,16 @@ typelib BPCore +import race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi as Bitcoin +-- Imports: +-- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk +-- ScriptBytes := PeacePrinceTarget03Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR +-- TapNodeHash := LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC +-- LeafScript := DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4 +-- Txid := TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs +-- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY +-- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ + import boris_flipper_plasma_84rW5A3J1fohf4NgkEDAWaf59mReY6GuJvycURm1aPV6 as CommitVerify -- Imports: -- ProtocolId := IndigoBuenosFriday04GenVCt5Xq6xtnJDjT98FehgCS8rTmwEzbjwGkaUVjHz @@ -24,16 +34,6 @@ import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as Std -- Imports: -- U4 := CaesarLolaToyota0BrEhDdRPrktqBgsNbgsmUagRz9b5n5csfbmif8Y7Bcc8 -import extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL as Bitcoin --- Imports: --- Vout := OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk --- TapNodeHash := LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC --- ScriptBytes := BaronMaltaHarvest07Bk3nVFjGbpESsetWgLCcJ4Qh7cr4cMwucYYn6f6QUUQ --- Txid := TaxiLearnMalta0C1GfCrG7AXu2sFhRBspd7KpJK2YgyTkVy6pty5rZynRs --- LeafVer := ChessDisputeStock0DGELfUvcU62GNQRo7HaMbKDzYQwdYRMW3b91JHd4d3WY --- LeafScript := LuckyBonanzaYoga0Faa53VyN79gC1P6j5ud5gLSSyJjpzqNsHfbTwobRrLJb --- InternalPk := TeacherPearlHello0G5HFVaWwWNYSzqk548JgGZ8WKy6dQ2ftVgkJvHjgRudZ - -- AlmondFantasySelect0HXreMRXsXhE6goE2JsF8g9jy4rZ7p7AEeYmxYgfPF2tN @@ -76,9 +76,9 @@ data Proof :: opretFirst () | tapretFirst TapretProof -- VocalWinterMango081NKrdc9pBoBjsKaGBVN9wXLG4tKjkK4f8DLj7TNMZxh data SecretSeal :: [Byte ^ 32] --- AlbertNurseSource0AXGtCWh9hJz7yZ9zX7Vfu6MawpshVPcqJMuaS23SuJKq +-- DemandCheeseTwist03PZAAzvizihvnS1LB4QY3Ly3S2Va7Y4bt361mGcJ4qbp data TapretNodePartner :: leftNode Bitcoin.TapNodeHash {- LicenseSnowCorrect04M8xyvABKKKJseN6Pme5eKrAuusMNMXoY5s6ifsEcreC -} - | rightLeaf Bitcoin.LeafScript {- LuckyBonanzaYoga0Faa53VyN79gC1P6j5ud5gLSSyJjpzqNsHfbTwobRrLJb -} + | rightLeaf Bitcoin.LeafScript {- DilemmaLegendCitizen07SUbonQ62tSaBTPpbZPACQo2NogXodi2mW5WEEDfBvp4 -} | rightBranch TapretRightBranch -- NylonUraniumRebel0BPYcTtbxvzWp8h7SMapT14FzLCnrnGzSShHTWGHCSD4C data TapretPathProof :: partnerNode TapretNodePartner?, nonce U8 diff --git a/stl/Bitcoin@0.1.0.sta b/stl/Bitcoin@0.1.0.sta index e0aa3e6c..13b1c06a 100644 --- a/stl/Bitcoin@0.1.0.sta +++ b/stl/Bitcoin@0.1.0.sta @@ -1,26 +1,26 @@ -----BEGIN STRICT TYPE LIB----- -Id: extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL +Id: race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi Name: Bitcoin Dependencies: ~ B0JpdGNvaW4AAA4ACExvY2tUaW1lBQEAAAQIT3V0cG9pbnQGAgR0eGlkAaOCQvPL 19HQoRLajeFgL1bU+G8OxMR2xcBoWUxLBGVWBHZvdXQBIeM+Q8WqXPIpJ1OjOMFn 7TtjnE3Zzr2pjzRpF7rJQ3UEU2F0cwUBAAAIC1NjcmlwdEJ5dGVzBQEACAAAQAAA -AAAAAAAA//////////8MU2NyaXB0UHVia2V5BQEBW+aaq7gnrnoWoMZfcu6GfjJ+ -YwOaqNUbF2paFBCy4mkFU2VxTm8FAQAABAlTaWdTY3JpcHQFAQFb5pqruCeuehag -xl9y7oZ+Mn5jA5qo1RsXaloUELLiaQJUeAYEB3ZlcnNpb24BqHzGeWRn5VfXROXJ -YjrgDMuV2RoNLwPfdMB1Ek++x54GaW5wdXRzAAgBenuPSQJcr60TcPkKSwu3gCjE -F1IThMA5tAk4Z2jtkRQAAAAAAAAAAP//////////B291dHB1dHMACAFl65E8F+fg -PZuxxhUpOwha3hURp7ocazAWCjNyIjGhCgAAAAAAAAAA//////////8IbG9ja1Rp +AAAAAAAA/////wAAAAAMU2NyaXB0UHVia2V5BQEBJav1uRIUF7qjOdRfexV1p3FL +4Xp1GF3QMTV61Mkt6YYFU2VxTm8FAQAABAlTaWdTY3JpcHQFAQElq/W5EhQXuqM5 +1F97FXWncUvhenUYXdAxNXrUyS3phgJUeAYEB3ZlcnNpb24BqHzGeWRn5VfXROXJ +YjrgDMuV2RoNLwPfdMB1Ek++x54GaW5wdXRzAAgBGUctF9hiB6cPITGpWKFopW4q +1lM/nGZMGXfaXPn+YoYAAAAAAAAAAP////8AAAAAB291dHB1dHMACAGQO2RweYSP +GyZTKuTOxqaJRKBTWLjwgcsms7v4LZ478wAAAAAAAAAA/////wAAAAAIbG9ja1Rp bWUBNdodFTkgbrvd3KTDPYcx6vKbp9p03z3IgiAcTha1uRwEVHhJbgYECnByZXZP dXRwdXQB6GpAzVwl+b3ihP9ppREyp0ErIVW9DlYSwb/jhJVgxQYJc2lnU2NyaXB0 -AcuyYcCQeb6l94gA10f+tfjAJOLAT3P5RbRoBo3xQ+yUCHNlcXVlbmNlAQEZbYUp -yPbaRE0VTo2cjL2eD42JAlo7sJEhxj1SsB6HB3dpdG5lc3MB75t1lox9jWkF8Xxp -IGHW6ToqvoJI5qcLCGei3/6E+yUFVHhPdXQGAgV2YWx1ZQGX9dcGQq4qM5IlO6hO -Hc7Ek+O/PtNxsYdzhjVOzIiCawxzY3JpcHRQdWJrZXkByulWRaya6PsYkkINHItG -wiCqxkzm3IJYhm+jZa6kkEMFVHhWZXIFAQAARARUeGlkBQEABwAAQCAABFZvdXQF -AQAABAdXaXRuZXNzBQEACAAIAABAAAAAAAAAAAD//////////wAAAAAAAAAA//// -//////8= +ATh1BLFLfA5GbUeeF0d9JHQkf/gDZOw9S6r3OiD3QXRrCHNlcXVlbmNlAQEZbYUp +yPbaRE0VTo2cjL2eD42JAlo7sJEhxj1SsB6HB3dpdG5lc3MBc3dDcDaTIEnNKJUI +qnF844KdskUuVehO1PwuPM0uAJ0FVHhPdXQGAgV2YWx1ZQGX9dcGQq4qM5IlO6hO +Hc7Ek+O/PtNxsYdzhjVOzIiCawxzY3JpcHRQdWJrZXkBvvwe/GalGf1kUmo6E4dA +5/EQLQu+/zrBRk7z90B2dFwFVHhWZXIFAQAARARUeGlkBQEABwAAQCAABFZvdXQF +AQAABAdXaXRuZXNzBQEACAAIAABAAAAAAAAAAAD/////AAAAAAAAAAAAAAAA//// +/wAAAAA= -----END STRICT TYPE LIB----- diff --git a/stl/Bitcoin@0.1.0.stl b/stl/Bitcoin@0.1.0.stl index 78fdb0e7..c6c7e8d6 100644 Binary files a/stl/Bitcoin@0.1.0.stl and b/stl/Bitcoin@0.1.0.stl differ diff --git a/stl/Bitcoin@0.1.0.sty b/stl/Bitcoin@0.1.0.sty index e9fb0f32..fed8a695 100644 --- a/stl/Bitcoin@0.1.0.sty +++ b/stl/Bitcoin@0.1.0.sty @@ -1,5 +1,5 @@ {- - Id: extra_rapid_armada_EXDzvefCHMLgk4KXNvsXsDr2QzgPkxFFUCSEkL3S1ZJL + Id: race_ballet_golf_6GgF7biXPVNcus2FfQj2pQuRzau11rXApMQLfCZhojgi Name: Bitcoin Version: 0.1.0 Description: Consensus layer for bitcoin protocol @@ -18,18 +18,18 @@ data LockTime :: U32 data Outpoint :: txid Txid, vout Vout -- TomatoMixerAnita0BEBz6h7AGjYSDRCxVHnjYkkkxzBsjN3EvyNiD4ZrzmRL data Sats :: U64 --- BaronMaltaHarvest07Bk3nVFjGbpESsetWgLCcJ4Qh7cr4cMwucYYn6f6QUUQ -data ScriptBytes :: [Byte ^ ..0xffffffffffffffff] +-- PeacePrinceTarget03Y4AgjkFbDusgo3YqRDWv9BznDeAJEUDEPeEq1mpSkAR +data ScriptBytes :: [Byte ^ ..0xffffffff] -- GolfAgathaTonight02ZAYpWKB2BQxeXXjpQDpYGZ7eXFM9qQxN9TcdTiQqeB8 data ScriptPubkey :: ScriptBytes -- MeaningAladdinSaturn05HtymNhYBhjqPkLLw9QVWZ62cLm57cZxgQTDUBBXtmL data SeqNo :: U32 -- OscarHopeCeltic02gTMqAC393rBSGtBhDn8sJq3F3HtDosbqKDQTw9bHFyT data SigScript :: ScriptBytes --- BeyondDanielDispute04WmoLn9K9HwxJ2zuYHe9mmxT3SkRHUFGvh7baBjSEsUy +-- MadonnaFlagCake0DynChojW1sfr8VjSoZbmReHhZoU8u9KCiuwijgEGdToe data Tx :: version TxVer - , inputs [TxIn ^ ..0xffffffffffffffff] - , outputs [TxOut ^ ..0xffffffffffffffff] + , inputs [TxIn ^ ..0xffffffff] + , outputs [TxOut ^ ..0xffffffff] , lockTime LockTime -- TrinityClientInside09Nf4Vvt3im8tFQSGzPWKfjfhsrkB8bf2XsLWfzywiFSv data TxIn :: prevOutput Outpoint @@ -44,6 +44,6 @@ data TxVer :: I32 data Txid :: [Byte ^ 32] -- OpusDecadeExample03HHRtSJW5fnGkdVW1EVDH7B97Y79WhwvKyyfsaBkuQkk data Vout :: U32 --- DemoRetroSoda0H8KvsRjBS4XbQoA1bRYmJR4S6bX6mBjKGw3Nfj7dMS5S -data Witness :: [[Byte ^ ..0xffffffffffffffff] ^ ..0xffffffffffffffff] +-- MoralKoreaCastro08mjN2CZj3Nhn2HjnKqTmEcN5vmyb3UJK8HSFW1uE3W2p +data Witness :: [[Byte ^ ..0xffffffff] ^ ..0xffffffff]