Skip to content

Commit b0b42cd

Browse files
stringhandlerstringhandler
committed
chore(deps): update simplicity C backend to add op_return jets
1 parent a8896cf commit b0b42cd

18 files changed

Lines changed: 497 additions & 63 deletions

‎simplicity-sys/depend/jets_wrapper.c‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -347,6 +347,13 @@ WRAP_(output_is_fee)
347347
WRAP_(output_nonce)
348348
WRAP_(output_nonces_hash)
349349
WRAP_(output_null_datum)
350+
WRAP_(output_null_get_bytes_1)
351+
WRAP_(output_null_get_bytes_16)
352+
WRAP_(output_null_get_bytes_2)
353+
WRAP_(output_null_get_bytes_32)
354+
WRAP_(output_null_get_bytes_4)
355+
WRAP_(output_null_get_bytes_64)
356+
WRAP_(output_null_get_bytes_8)
350357
WRAP_(output_range_proof)
351358
WRAP_(output_range_proofs_hash)
352359
WRAP_(output_script_hash)

‎simplicity-sys/depend/simplicity-HEAD-revision.txt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
11
# This file has been automatically generated.
2-
c6ab4dd8f17838506f92f0d829c40618168817cd
2+
6190147fde1e49239d84834746d6fd215663a734

‎simplicity-sys/depend/simplicity/elements/decodeElementsJets.inc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -130,6 +130,13 @@
130130
case 48: *result = VERSION; return SIMPLICITY_NO_ERROR;
131131
case 49: *result = GENESIS_BLOCK_HASH; return SIMPLICITY_NO_ERROR;
132132
case 50: *result = TRANSACTION_ID; return SIMPLICITY_NO_ERROR;
133+
case 51: *result = OUTPUT_NULL_GET_BYTES_1; return SIMPLICITY_NO_ERROR;
134+
case 52: *result = OUTPUT_NULL_GET_BYTES_2; return SIMPLICITY_NO_ERROR;
135+
case 53: *result = OUTPUT_NULL_GET_BYTES_4; return SIMPLICITY_NO_ERROR;
136+
case 54: *result = OUTPUT_NULL_GET_BYTES_8; return SIMPLICITY_NO_ERROR;
137+
case 55: *result = OUTPUT_NULL_GET_BYTES_16; return SIMPLICITY_NO_ERROR;
138+
case 56: *result = OUTPUT_NULL_GET_BYTES_32; return SIMPLICITY_NO_ERROR;
139+
case 57: *result = OUTPUT_NULL_GET_BYTES_64; return SIMPLICITY_NO_ERROR;
133140
}
134141
break;
135142
}

‎simplicity-sys/depend/simplicity/elements/elementsJets.c‎

Lines changed: 133 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -427,7 +427,7 @@ bool rustsimplicity_0_7_output_null_datum(frameItem* dst, frameItem src, const t
427427
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
428428
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
429429
if (writeBit(dst, j < env->tx->output[i].pnd.len)) {
430-
if (writeBit(dst, OP_PUSHDATA4 < env->tx->output[i].pnd.op[j].code)) {
430+
if (writeBit(dst, OP_PUSHBYTES_64 < env->tx->output[i].pnd.op[j].code)) {
431431
skipBits(dst, 2 + 256 - 5);
432432
if (writeBit(dst, OP_1 <= env->tx->output[i].pnd.op[j].code)) {
433433
switch (env->tx->output[i].pnd.op[j].code) {
@@ -457,10 +457,19 @@ bool rustsimplicity_0_7_output_null_datum(frameItem* dst, frameItem src, const t
457457
}
458458
} else {
459459
switch (env->tx->output[i].pnd.op[j].code) {
460-
case OP_IMMEDIATE: writeBit(dst, 0); writeBit(dst, 0); break;
461-
case OP_PUSHDATA: writeBit(dst, 0); writeBit(dst, 1); break;
462-
case OP_PUSHDATA2: writeBit(dst, 1); writeBit(dst, 0); break;
463-
case OP_PUSHDATA4: writeBit(dst, 1); writeBit(dst, 1); break;
460+
case OP_IMMEDIATE: writeBit(dst, 0); writeBit(dst, 0); break;
461+
case OP_PUSHDATA: writeBit(dst, 0); writeBit(dst, 1); break;
462+
case OP_PUSHDATA2: writeBit(dst, 1); writeBit(dst, 0); break;
463+
case OP_PUSHDATA4: writeBit(dst, 1); writeBit(dst, 1); break;
464+
case OP_PUSHBYTES_1:
465+
case OP_PUSHBYTES_2:
466+
case OP_PUSHBYTES_4:
467+
case OP_PUSHBYTES_8:
468+
case OP_PUSHBYTES_16:
469+
case OP_PUSHBYTES_32:
470+
case OP_PUSHBYTES_64:
471+
/* These were historically part of OP_IMMEDIATE*/
472+
writeBit(dst, 0); writeBit(dst, 0); break;
464473
default: SIMPLICITY_UNREACHABLE;
465474
}
466475
writeHash(dst, &env->tx->output[i].pnd.op[j].dataHash);
@@ -474,6 +483,125 @@ bool rustsimplicity_0_7_output_null_datum(frameItem* dst, frameItem src, const t
474483
return true;
475484
}
476485

486+
/* output_null_get_8 : TWO^32 * TWO^32 |- S (S TWO^64) */
487+
bool rustsimplicity_0_7_output_null_get_bytes_8(frameItem* dst, frameItem src, const txEnv* env) {
488+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
489+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
490+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
491+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
492+
OP_PUSHBYTES_8 == env->tx->output[i].pnd.op[j].code)) {
493+
write8s(dst, env->tx->output[i].pnd.op[j].data, 8);
494+
} else {
495+
skipBits(dst, 64);
496+
}
497+
} else {
498+
skipBits(dst, 1 + 64);
499+
}
500+
return true;
501+
}
502+
503+
/* output_null_get_1 : TWO^32 * TWO^32 |- S (S TWO^8) */
504+
bool rustsimplicity_0_7_output_null_get_bytes_1(frameItem* dst, frameItem src, const txEnv* env) {
505+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
506+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
507+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
508+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
509+
OP_PUSHBYTES_1 == env->tx->output[i].pnd.op[j].code)) {
510+
write8s(dst, env->tx->output[i].pnd.op[j].data, 1);
511+
} else {
512+
skipBits(dst, 8);
513+
}
514+
} else {
515+
skipBits(dst, 1 + 8);
516+
}
517+
return true;
518+
}
519+
520+
/* output_null_get_2 : TWO^32 * TWO^32 |- S (S TWO^16) */
521+
bool rustsimplicity_0_7_output_null_get_bytes_2(frameItem* dst, frameItem src, const txEnv* env) {
522+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
523+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
524+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
525+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
526+
OP_PUSHBYTES_2 == env->tx->output[i].pnd.op[j].code)) {
527+
write8s(dst, env->tx->output[i].pnd.op[j].data, 2);
528+
} else {
529+
skipBits(dst, 16);
530+
}
531+
} else {
532+
skipBits(dst, 1 + 16);
533+
}
534+
return true;
535+
}
536+
537+
/* output_null_get_4 : TWO^32 * TWO^32 |- S (S TWO^32) */
538+
bool rustsimplicity_0_7_output_null_get_bytes_4(frameItem* dst, frameItem src, const txEnv* env) {
539+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
540+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
541+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
542+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
543+
OP_PUSHBYTES_4 == env->tx->output[i].pnd.op[j].code)) {
544+
write8s(dst, env->tx->output[i].pnd.op[j].data, 4);
545+
} else {
546+
skipBits(dst, 32);
547+
}
548+
} else {
549+
skipBits(dst, 1 + 32);
550+
}
551+
return true;
552+
}
553+
554+
/* output_null_get_16 : TWO^32 * TWO^32 |- S (S TWO^128) */
555+
bool rustsimplicity_0_7_output_null_get_bytes_16(frameItem* dst, frameItem src, const txEnv* env) {
556+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
557+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
558+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
559+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
560+
OP_PUSHBYTES_16 == env->tx->output[i].pnd.op[j].code)) {
561+
write8s(dst, env->tx->output[i].pnd.op[j].data, 16);
562+
} else {
563+
skipBits(dst, 128);
564+
}
565+
} else {
566+
skipBits(dst, 1 + 128);
567+
}
568+
return true;
569+
}
570+
571+
/* output_null_get_32 : TWO^32 * TWO^32 |- S (S TWO^256) */
572+
bool rustsimplicity_0_7_output_null_get_bytes_32(frameItem* dst, frameItem src, const txEnv* env) {
573+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
574+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
575+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
576+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
577+
OP_PUSHBYTES_32 == env->tx->output[i].pnd.op[j].code)) {
578+
write8s(dst, env->tx->output[i].pnd.op[j].data, 32);
579+
} else {
580+
skipBits(dst, 256);
581+
}
582+
} else {
583+
skipBits(dst, 1 + 256);
584+
}
585+
return true;
586+
}
587+
588+
/* output_null_get_64 : TWO^32 * TWO^32 |- S (S TWO^512) */
589+
bool rustsimplicity_0_7_output_null_get_bytes_64(frameItem* dst, frameItem src, const txEnv* env) {
590+
uint_fast32_t i = rustsimplicity_0_7_read32(&src);
591+
if (writeBit(dst, i < env->tx->numOutputs && env->tx->output[i].isNullData)) {
592+
uint_fast32_t j = rustsimplicity_0_7_read32(&src);
593+
if (writeBit(dst, j < env->tx->output[i].pnd.len &&
594+
OP_PUSHBYTES_64 == env->tx->output[i].pnd.op[j].code)) {
595+
write8s(dst, env->tx->output[i].pnd.op[j].data, 64);
596+
} else {
597+
skipBits(dst, 512);
598+
}
599+
} else {
600+
skipBits(dst, 1 + 512);
601+
}
602+
return true;
603+
}
604+
477605
/* output_is_fee : TWO^32 |- S TWO */
478606
bool rustsimplicity_0_7_output_is_fee(frameItem* dst, frameItem src, const txEnv* env) {
479607
uint_fast32_t i = rustsimplicity_0_7_read32(&src);

‎simplicity-sys/depend/simplicity/elements/elementsJets.h‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,13 @@ bool rustsimplicity_0_7_output_amount(frameItem* dst, frameItem src, const txEnv
2828
bool rustsimplicity_0_7_output_nonce(frameItem* dst, frameItem src, const txEnv* env);
2929
bool rustsimplicity_0_7_output_script_hash(frameItem* dst, frameItem src, const txEnv* env);
3030
bool rustsimplicity_0_7_output_null_datum(frameItem* dst, frameItem src, const txEnv* env);
31+
bool rustsimplicity_0_7_output_null_get_bytes_1(frameItem* dst, frameItem src, const txEnv* env);
32+
bool rustsimplicity_0_7_output_null_get_bytes_2(frameItem* dst, frameItem src, const txEnv* env);
33+
bool rustsimplicity_0_7_output_null_get_bytes_4(frameItem* dst, frameItem src, const txEnv* env);
34+
bool rustsimplicity_0_7_output_null_get_bytes_8(frameItem* dst, frameItem src, const txEnv* env);
35+
bool rustsimplicity_0_7_output_null_get_bytes_16(frameItem* dst, frameItem src, const txEnv* env);
36+
bool rustsimplicity_0_7_output_null_get_bytes_32(frameItem* dst, frameItem src, const txEnv* env);
37+
bool rustsimplicity_0_7_output_null_get_bytes_64(frameItem* dst, frameItem src, const txEnv* env);
3138
bool rustsimplicity_0_7_output_is_fee(frameItem* dst, frameItem src, const txEnv* env);
3239
bool rustsimplicity_0_7_output_surjection_proof(frameItem* dst, frameItem src, const txEnv* env);
3340
bool rustsimplicity_0_7_output_range_proof(frameItem* dst, frameItem src, const txEnv* env);

‎simplicity-sys/depend/simplicity/elements/env.c‎

Lines changed: 18 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -200,7 +200,16 @@ static void parseNullData(parsedNullData* result, opcode** allocation, size_t* a
200200
uint_fast32_t skip = 0;
201201
if (code < 0x4c) {
202202
skip = code;
203-
(*allocation)[result->len].code = OP_IMMEDIATE;
203+
switch (skip) {
204+
case 1: (*allocation)[result->len].code = OP_PUSHBYTES_1; break;
205+
case 2: (*allocation)[result->len].code = OP_PUSHBYTES_2; break;
206+
case 4: (*allocation)[result->len].code = OP_PUSHBYTES_4; break;
207+
case 8: (*allocation)[result->len].code = OP_PUSHBYTES_8; break;
208+
case 16: (*allocation)[result->len].code = OP_PUSHBYTES_16; break;
209+
case 32: (*allocation)[result->len].code = OP_PUSHBYTES_32; break;
210+
case 64: (*allocation)[result->len].code = OP_PUSHBYTES_64; break;
211+
default: (*allocation)[result->len].code = OP_IMMEDIATE; break;
212+
}
204213
} else {
205214
if (scriptPubKey->len == i) { result->op = NULL; return; }
206215
skip = scriptPubKey->buf[i++];
@@ -225,6 +234,14 @@ static void parseNullData(parsedNullData* result, opcode** allocation, size_t* a
225234
sha256_context ctx = sha256_init((*allocation)[result->len].dataHash.s);
226235
sha256_uchars(&ctx, &scriptPubKey->buf[i], skip);
227236
sha256_finalize(&ctx);
237+
opcodeType oc = (*allocation)[result->len].code;
238+
if (OP_PUSHBYTES_1 == oc || OP_PUSHBYTES_2 == oc || OP_PUSHBYTES_4 == oc ||
239+
OP_PUSHBYTES_8 == oc || OP_PUSHBYTES_16 == oc || OP_PUSHBYTES_32 == oc || OP_PUSHBYTES_64 == oc) {
240+
memcpy((*allocation)[result->len].data, &scriptPubKey->buf[i], skip);
241+
(*allocation)[result->len].len = (uint_fast8_t)skip;
242+
} else {
243+
(*allocation)[result->len].len = 0;
244+
}
228245
}
229246
i += skip;
230247
}

‎simplicity-sys/depend/simplicity/elements/primitiveEnumJet.inc‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -342,6 +342,13 @@ OUTPUT_IS_FEE,
342342
OUTPUT_NONCE,
343343
OUTPUT_NONCES_HASH,
344344
OUTPUT_NULL_DATUM,
345+
OUTPUT_NULL_GET_BYTES_1,
346+
OUTPUT_NULL_GET_BYTES_16,
347+
OUTPUT_NULL_GET_BYTES_2,
348+
OUTPUT_NULL_GET_BYTES_32,
349+
OUTPUT_NULL_GET_BYTES_4,
350+
OUTPUT_NULL_GET_BYTES_64,
351+
OUTPUT_NULL_GET_BYTES_8,
345352
OUTPUT_RANGE_PROOF,
346353
OUTPUT_RANGE_PROOFS_HASH,
347354
OUTPUT_SCRIPT_HASH,

‎simplicity-sys/depend/simplicity/elements/primitiveEnumTy.inc‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,13 @@ ty_mw512,
4343
ty_mw1Ki,
4444
ty_mw2Ki,
4545
ty_mmb,
46+
ty_mmw8,
47+
ty_mmw16,
48+
ty_mmw32,
49+
ty_mmw64,
50+
ty_mmw128,
4651
ty_mmw256,
52+
ty_mmw512,
4753
ty_mmspbw256w64,
4854
ty_mmspbw256w256,
4955
ty_mmspw2w256sbw4,

‎simplicity-sys/depend/simplicity/elements/primitiveInitTy.inc‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,13 @@
4343
(*bound_var)[ty_mw1Ki] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_w1Ki] } }};
4444
(*bound_var)[ty_mw2Ki] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_w2Ki] } }};
4545
(*bound_var)[ty_mmb] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mb] } }};
46+
(*bound_var)[ty_mmw8] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw8] } }};
47+
(*bound_var)[ty_mmw16] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw16] } }};
48+
(*bound_var)[ty_mmw32] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw32] } }};
49+
(*bound_var)[ty_mmw64] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw64] } }};
50+
(*bound_var)[ty_mmw128] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw128] } }};
4651
(*bound_var)[ty_mmw256] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw256] } }};
52+
(*bound_var)[ty_mmw512] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mw512] } }};
4753
(*bound_var)[ty_mmspbw256w64] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mspbw256w64] } }};
4854
(*bound_var)[ty_mmspbw256w256] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mspbw256w256] } }};
4955
(*bound_var)[ty_mmspw2w256sbw4] = (unification_var){ .isBound = true, .bound = { .kind = SUM, .arg = { &(*bound_var)[ty_u], &(*bound_var)[ty_mspw2w256sbw4] } }};

‎simplicity-sys/depend/simplicity/elements/primitiveJetNode.inc‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2743,6 +2743,62 @@
27432743
, .targetIx = ty_mmspw2w256sbw4
27442744
, .cost = 87 /* milli weight units */
27452745
}
2746+
,[OUTPUT_NULL_GET_BYTES_1] =
2747+
{ .tag = JET
2748+
, .jet = rustsimplicity_0_7_output_null_get_bytes_1
2749+
, .cmr = {{0x8bf23336u, 0xd47f9e5eu, 0x06ddd129u, 0xf85abde1u, 0xbd3c7348u, 0x6f67492eu, 0x4f9a75e0u, 0xdc49dab3u}}
2750+
, .sourceIx = ty_w64
2751+
, .targetIx = ty_mmw8
2752+
, .cost = 87 /* milli weight units */
2753+
}
2754+
,[OUTPUT_NULL_GET_BYTES_16] =
2755+
{ .tag = JET
2756+
, .jet = rustsimplicity_0_7_output_null_get_bytes_16
2757+
, .cmr = {{0x6e8728a5u, 0x5aea2152u, 0x7c65df6cu, 0x723f183fu, 0xdcf21755u, 0x4f1ec023u, 0x351bd996u, 0xd867f865u}}
2758+
, .sourceIx = ty_w64
2759+
, .targetIx = ty_mmw128
2760+
, .cost = 87 /* milli weight units */
2761+
}
2762+
,[OUTPUT_NULL_GET_BYTES_2] =
2763+
{ .tag = JET
2764+
, .jet = rustsimplicity_0_7_output_null_get_bytes_2
2765+
, .cmr = {{0x407b4a04u, 0x151832c0u, 0x01155e4bu, 0xd5d1ba1fu, 0xc281be56u, 0x7a6c4854u, 0x15a08c88u, 0x44fa469cu}}
2766+
, .sourceIx = ty_w64
2767+
, .targetIx = ty_mmw16
2768+
, .cost = 87 /* milli weight units */
2769+
}
2770+
,[OUTPUT_NULL_GET_BYTES_32] =
2771+
{ .tag = JET
2772+
, .jet = rustsimplicity_0_7_output_null_get_bytes_32
2773+
, .cmr = {{0x8f86b4e8u, 0x74192318u, 0x0f76e15du, 0xc253ab5du, 0x1d4789f5u, 0x92bd89deu, 0xde5fa48eu, 0xbf36a7b0u}}
2774+
, .sourceIx = ty_w64
2775+
, .targetIx = ty_mmw256
2776+
, .cost = 87 /* milli weight units */
2777+
}
2778+
,[OUTPUT_NULL_GET_BYTES_4] =
2779+
{ .tag = JET
2780+
, .jet = rustsimplicity_0_7_output_null_get_bytes_4
2781+
, .cmr = {{0xf3490672u, 0x71087129u, 0xe32317a4u, 0x8437cdfau, 0x73ea391fu, 0x2bbddcf2u, 0xc6481f57u, 0xd3bf0761u}}
2782+
, .sourceIx = ty_w64
2783+
, .targetIx = ty_mmw32
2784+
, .cost = 87 /* milli weight units */
2785+
}
2786+
,[OUTPUT_NULL_GET_BYTES_64] =
2787+
{ .tag = JET
2788+
, .jet = rustsimplicity_0_7_output_null_get_bytes_64
2789+
, .cmr = {{0x2d472c26u, 0xb6382ddau, 0x0f0bbd8au, 0x7b3e2445u, 0xd0ff1b81u, 0x0ceb2317u, 0x0a22c013u, 0xd21f4838u}}
2790+
, .sourceIx = ty_w64
2791+
, .targetIx = ty_mmw512
2792+
, .cost = 87 /* milli weight units */
2793+
}
2794+
,[OUTPUT_NULL_GET_BYTES_8] =
2795+
{ .tag = JET
2796+
, .jet = rustsimplicity_0_7_output_null_get_bytes_8
2797+
, .cmr = {{0xeb1c3a7fu, 0xc1a71350u, 0x9c597ebcu, 0x67661bdbu, 0x48e81105u, 0x69009969u, 0xe24fcf2cu, 0x458d66a7u}}
2798+
, .sourceIx = ty_w64
2799+
, .targetIx = ty_mmw64
2800+
, .cost = 87 /* milli weight units */
2801+
}
27462802
,[OUTPUT_RANGE_PROOF] =
27472803
{ .tag = JET
27482804
, .jet = rustsimplicity_0_7_output_range_proof

0 commit comments

Comments
 (0)