@pulse-compute/crypto 1.0.0-beta.4 → 1.0.0-beta.6

package/guests/es256-rustcrypto/probe/src/lib.rs

@@ -0,0 +1,108 @@
+#![no_std]
+
+use core::{panic::PanicInfo, slice};
+use ecdsa::{
+    hazmat::{bits2field, verify_prehashed},
+    Signature,
+};
+use p256::{
+    elliptic_curve::sec1::FromEncodedPoint,
+    AffinePoint,
+    EncodedPoint,
+    NistP256,
+    ProjectivePoint,
+};
+use sha2::{Digest, Sha256};
+
+type P256Signature = Signature<NistP256>;
+
+const P256_PUBLIC_KEY_BYTES: usize = 64;
+const ES256_SIGNATURE_BYTES: usize = 64;
+const ES256_SIGNING_INPUT_BYTES_MAXIMUM: usize = 16_340;
+
+const STATUS_VALID: i32 = 1;
+const STATUS_INVALID_AUTHENTICATOR: i32 = 0;
+const STATUS_INVALID_KEY: i32 = -1;
+const STATUS_INVALID_INPUT: i32 = -2;
+
+#[panic_handler]
+fn panic(_info: &PanicInfo<'_>) -> ! {
+    loop {
+        core::hint::spin_loop();
+    }
+}
+
+/// Dependency-selection probe only. G1 owns the private frame and production
+/// guest ABI; this function must not become an application or package API.
+///
+/// # Safety
+///
+/// The caller must provide readable, non-overlapping spans in the imported
+/// fixed memory. G0 executes only maintainer-controlled vectors. G1 must
+/// replace this probe boundary with complete frame validation before any
+/// dereference.
+#[no_mangle]
+pub unsafe extern "C" fn pulse_es256_dependency_probe(
+    key_pointer: u32,
+    key_length: u32,
+    data_pointer: u32,
+    data_length: u32,
+    signature_pointer: u32,
+    signature_length: u32,
+) -> i32 {
+    if key_length as usize != P256_PUBLIC_KEY_BYTES {
+        return STATUS_INVALID_KEY;
+    }
+    if signature_length as usize != ES256_SIGNATURE_BYTES
+        || data_length as usize > ES256_SIGNING_INPUT_BYTES_MAXIMUM
+    {
+        return STATUS_INVALID_INPUT;
+    }
+
+    let key_bytes = slice::from_raw_parts(
+        key_pointer as *const u8,
+        P256_PUBLIC_KEY_BYTES,
+    );
+    let data = slice::from_raw_parts(
+        data_pointer as *const u8,
+        data_length as usize,
+    );
+    let signature_bytes = slice::from_raw_parts(
+        signature_pointer as *const u8,
+        ES256_SIGNATURE_BYTES,
+    );
+
+    let mut sec1_key = [0_u8; P256_PUBLIC_KEY_BYTES + 1];
+    sec1_key[0] = 0x04;
+    sec1_key[1..].copy_from_slice(key_bytes);
+
+    let encoded_point = match EncodedPoint::from_bytes(sec1_key) {
+        Ok(value) => value,
+        Err(_) => return STATUS_INVALID_KEY,
+    };
+    let affine_point = match Option::<AffinePoint>::from(
+        AffinePoint::from_encoded_point(&encoded_point),
+    ) {
+        Some(value) => value,
+        None => return STATUS_INVALID_KEY,
+    };
+    let public_point = ProjectivePoint::from(affine_point);
+    let signature = match P256Signature::from_slice(signature_bytes) {
+        Ok(value) => value,
+        Err(_) => return STATUS_INVALID_INPUT,
+    };
+    let digest = Sha256::digest(data);
+    let digest_field = match bits2field::<NistP256>(&digest) {
+        Ok(value) => value,
+        Err(_) => return STATUS_INVALID_INPUT,
+    };
+
+    match verify_prehashed::<NistP256>(
+        &public_point,
+        &digest_field,
+        &signature,
+    ) {
+        Ok(()) => STATUS_VALID,
+        Err(_) => STATUS_INVALID_AUTHENTICATOR,
+    }
+}

package/guests/es256-rustcrypto/pulse.guest-unit.json

@@ -0,0 +1,119 @@
+{
+  "version": "pulse.guest-unit.v2",
+  "id": "pulse.crypto.es256.rustcrypto-p256.v1",
+  "module": "pulse_crypto_es256",
+  "owner": "@pulse-compute/crypto",
+  "packageVersion": "1.0.0-beta.6",
+  "abi": "pulse.crypto.es256-rs256.verify-and-sign.v3",
+  "origin": "package-prebuilt",
+  "artifact": {
+    "file": "prebuilt/es256-verifier.wasm",
+    "bytes": 36378,
+    "sha256": "b1d09f10fddf7587cb9e87f959fa908457e076e207db078fc101390c70e4aecf"
+  },
+  "source": {
+    "included": true,
+    "directory": "source",
+    "treeSha256": "581fa765f228bd1a3ab6a40ee3cbb35a9d7a101e2839d32e36ececc94b66a741"
+  },
+  "toolchain": {
+    "kind": "rust-cargo",
+    "target": "wasm32v1-none",
+    "locked": true,
+    "versions": {
+      "rustc": "1.97.1 (8bab26f4f 2026-07-14)",
+      "cargo": "1.97.1 (c980f4866 2026-06-30)",
+      "zig": "0.13.0",
+      "binaryen": "129.0.0-nightly.20260428"
+    }
+  },
+  "imports": [
+    {
+      "module": "env",
+      "name": "memory",
+      "kind": "memory",
+      "type": {
+        "minimumPages": 32,
+        "maximumPages": 32,
+        "shared": false
+      }
+    }
+  ],
+  "exports": [
+    {
+      "name": "pulse_crypto_es256_sign",
+      "kind": "function",
+      "parameters": [
+        "i32",
+        "i32"
+      ],
+      "results": [
+        "i32"
+      ],
+      "role": "abi"
+    },
+    {
+      "name": "pulse_crypto_es256_verify",
+      "kind": "function",
+      "parameters": [
+        "i32",
+        "i32"
+      ],
+      "results": [
+        "i32"
+      ],
+      "role": "abi"
+    },
+    {
+      "name": "pulse_crypto_rs256_sign",
+      "kind": "function",
+      "parameters": [
+        "i32",
+        "i32"
+      ],
+      "results": [
+        "i32"
+      ],
+      "role": "abi"
+    },
+    {
+      "name": "pulse_crypto_rs256_verify",
+      "kind": "function",
+      "parameters": [
+        "i32",
+        "i32"
+      ],
+      "results": [
+        "i32"
+      ],
+      "role": "abi"
+    }
+  ],
+  "memory": {
+    "identity": "pulse.guest-memory.invocation-frame.v2",
+    "import": "env.memory",
+    "owner": "link-stage"
+  },
+  "start": {
+    "policy": "forbidden"
+  },
+  "features": {
+    "baseline": "mvp",
+    "allowed": [],
+    "required": []
+  },
+  "provenance": {
+    "packageManifest": "../../package.json",
+    "lockfile": "source/Cargo.lock",
+    "reproducibleSourceIncluded": true,
+    "cargoLockSha256": "d5ecc12c9c846468686974aaed841156cc82ab8f876fec4d40b2baa29dff1551",
+    "sourceTreeSha256": "581fa765f228bd1a3ab6a40ee3cbb35a9d7a101e2839d32e36ececc94b66a741",
+    "reconstructionCommandIdentity": "pulse.crypto.es256-rs256.build.v3",
+    "buildScript": "build.cjs",
+    "buildScriptSha256": "85d99761b442ec3ea11af6496206f475c14e6c419b5aa89bbedc730d8b61e95d",
+    "optimizationPosture": "native-size",
+    "binaryenWasmOptSha256": "1304eb38ad315a0d70d8427757f641c110d972468c126af645ef800b09c26e56",
+    "g0SourceDecision": "../../../../wasm/.test-results/jwt-g0/es256-source-decision.json",
+    "g0SourceDecisionSha256": "58db9e3587ace112a8864c7916f603d8773dce653deafb7d743c0dc1f4d62d63"
+  }
+}

package/guests/es256-rustcrypto/source/.cargo/config.toml

@@ -0,0 +1,18 @@
+[build]
+target = "wasm32v1-none"
+
+[target.wasm32v1-none]
+rustflags = [
+  "-C",
+  "link-arg=--import-memory",
+  "-C",
+  "link-arg=--initial-memory=2097152",
+  "-C",
+  "link-arg=--max-memory=2097152",
+  "-C",
+  "link-arg=--stack-first",
+  "-C",
+  "link-arg=-zstack-size=65536",
+  "-C",
+  "link-arg=--global-base=131072",
+]

package/guests/es256-rustcrypto/source/Cargo.lock

@@ -0,0 +1,265 @@
+# This file is automatically @generated by Cargo.
+# It is not intended for manual editing.
+version = 4
+
+[[package]]
+name = "base16ct"
+version = "0.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4c7f02d4ea65f2c1853089ffd8d2787bdbc63de2f0d29dedbcf8ccdfa0ccd4cf"
+
+[[package]]
+name = "block-buffer"
+version = "0.10.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3078c7629b62d3f0439517fa394996acacc5cbc91c5a20d8c658e77abd503a71"
+dependencies = [
+ "generic-array",
+]
+
+[[package]]
+name = "cfg-if"
+version = "1.0.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
+
+[[package]]
+name = "const-oid"
+version = "0.9.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c2459377285ad874054d797f3ccebf984978aa39129f6eafde5cdc8315b612f8"
+
+[[package]]
+name = "cpufeatures"
+version = "0.2.17"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "59ed5838eebb26a2bb2e58f6d5b5316989ae9d08bab10e0e6d103e656d1b0280"
+dependencies = [
+ "libc",
+]
+
+[[package]]
+name = "crypto-bigint"
+version = "0.5.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0dc92fb57ca44df6db8059111ab3af99a63d5d0f8375d9972e319a379c6bab76"
+dependencies = [
+ "generic-array",
+ "rand_core",
+ "subtle",
+ "zeroize",
+]
+
+[[package]]
+name = "crypto-common"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "1bfb12502f3fc46cca1bb51ac28df9d618d813cdc3d2f25b9fe775a34af26bb3"
+dependencies = [
+ "generic-array",
+ "typenum",
+]
+
+[[package]]
+name = "der"
+version = "0.7.10"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e7c1832837b905bbfb5101e07cc24c8deddf52f93225eee6ead5f4d63d53ddcb"
+dependencies = [
+ "const-oid",
+ "zeroize",
+]
+
+[[package]]
+name = "digest"
+version = "0.10.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "9ed9a281f7bc9b7576e61468ba615a66a5c8cfdff42420a70aa82701a3b1e292"
+dependencies = [
+ "block-buffer",
+ "const-oid",
+ "crypto-common",
+ "subtle",
+]
+
+[[package]]
+name = "ecdsa"
+version = "0.16.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ee27f32b5c5292967d2d4a9d7f1e0b0aed2c15daded5a60300e4abb9d8020bca"
+dependencies = [
+ "der",
+ "digest",
+ "elliptic-curve",
+ "rfc6979",
+ "signature",
+]
+
+[[package]]
+name = "elliptic-curve"
+version = "0.13.8"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b5e6043086bf7973472e0c7dff2142ea0b680d30e18d9cc40f267efbf222bd47"
+dependencies = [
+ "base16ct",
+ "crypto-bigint",
+ "digest",
+ "ff",
+ "generic-array",
+ "group",
+ "rand_core",
+ "sec1",
+ "subtle",
+ "zeroize",
+]
+
+[[package]]
+name = "ff"
+version = "0.13.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c0b50bfb653653f9ca9095b427bed08ab8d75a137839d9ad64eb11810d5b6393"
+dependencies = [
+ "rand_core",
+ "subtle",
+]
+
+[[package]]
+name = "generic-array"
+version = "0.14.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "4bb6743198531e02858aeaea5398fcc883e71851fcbcb5a2f773e2fb6cb1edf2"
+dependencies = [
+ "typenum",
+ "version_check",
+ "zeroize",
+]
+
+[[package]]
+name = "group"
+version = "0.13.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f0f9ef7462f7c099f518d754361858f86d8a07af53ba9af0fe635bbccb151a63"
+dependencies = [
+ "ff",
+ "rand_core",
+ "subtle",
+]
+
+[[package]]
+name = "hmac"
+version = "0.12.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "6c49c37c09c17a53d937dfbb742eb3a961d65a994e6bcdcf37e7399d0cc8ab5e"
+dependencies = [
+ "digest",
+]
+
+[[package]]
+name = "libc"
+version = "0.2.189"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
+
+[[package]]
+name = "p256"
+version = "0.13.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c9863ad85fa8f4460f9c48cb909d38a0d689dba1f6f6988a5e3e0d31071bcd4b"
+dependencies = [
+ "ecdsa",
+ "elliptic-curve",
+ "primeorder",
+ "sha2",
+]
+
+[[package]]
+name = "primeorder"
+version = "0.13.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "353e1ca18966c16d9deb1c69278edbc5f194139612772bd9537af60ac231e1e6"
+dependencies = [
+ "elliptic-curve",
+]
+
+[[package]]
+name = "pulse-es256-rustcrypto-verifier"
+version = "0.0.0"
+dependencies = [
+ "ecdsa",
+ "p256",
+ "sha2",
+]
+
+[[package]]
+name = "rand_core"
+version = "0.6.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "ec0be4795e2f6a28069bec0b5ff3e2ac9bafc99e6a9a7dc3547996c5c816922c"
+
+[[package]]
+name = "rfc6979"
+version = "0.4.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "f8dd2a808d456c4a54e300a23e9f5a67e122c3024119acbfd73e3bf664491cb2"
+dependencies = [
+ "hmac",
+ "subtle",
+]
+
+[[package]]
+name = "sec1"
+version = "0.7.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "d3e97a565f76233a6003f9f5c54be1d9c5bdfa3eccfb189469f11ec4901c47dc"
+dependencies = [
+ "base16ct",
+ "der",
+ "generic-array",
+ "subtle",
+ "zeroize",
+]
+
+[[package]]
+name = "sha2"
+version = "0.10.9"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a7507d819769d01a365ab707794a4084392c824f54a7a6a7862f8c3d0892b283"
+dependencies = [
+ "cfg-if",
+ "cpufeatures",
+ "digest",
+]
+
+[[package]]
+name = "signature"
+version = "2.2.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "77549399552de45a898a580c1b41d445bf730df867cc44e6c0233bbc4b8329de"
+dependencies = [
+ "digest",
+ "rand_core",
+]
+
+[[package]]
+name = "subtle"
+version = "2.6.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
+
+[[package]]
+name = "typenum"
+version = "1.20.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "b6f5e870be6c3b371b77fe0ee0bafb859fa4964b4404c27de1d380043c4dda20"
+
+[[package]]
+name = "version_check"
+version = "0.9.5"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a"
+
+[[package]]
+name = "zeroize"
+version = "1.9.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "e13c156562582aa81c60cb29407084cdb54c4164760106ab78e6c5b0858cf64e"

package/guests/es256-rustcrypto/source/Cargo.toml

@@ -0,0 +1,23 @@
+[package]
+name = "pulse-es256-rustcrypto-verifier"
+version = "0.0.0"
+edition = "2021"
+publish = false
+license = "Apache-2.0"
+
+[lib]
+crate-type = ["cdylib"]
+
+[dependencies]
+ecdsa = { version = "=0.16.9", default-features = false, features = ["arithmetic", "hazmat"] }
+p256 = { version = "=0.13.2", default-features = false, features = ["arithmetic", "ecdsa"] }
+sha2 = { version = "=0.10.9", default-features = false }
+
+[profile.release]
+codegen-units = 1
+debug = false
+incremental = false
+lto = true
+opt-level = "z"
+panic = "abort"
+strip = "symbols"

package/guests/es256-rustcrypto/source/README.md

@@ -0,0 +1,26 @@
+# Pulse ES256 guest source
+
+This Crypto-owned Rust unit implements ES256 verification and deterministic
+RFC6979 signing with the pinned RustCrypto P-256 implementation. It imports
+only fixed `env.memory`; the guest-link stage admits the exact reviewed binary,
+source, lockfile, build identity, and two scalar exports.
+
+Verification retains the existing invocation-frame v2 contract and 64-byte
+`x || y` public key. Signing uses the same checked 16,640-byte envelope with
+96-byte `x || y || d` key material and a disjoint, writable 64-byte JOSE `r || s`
+output span. The scalar must be valid and match the supplied public point.
+Each exported function validates its own key width and never changes operation
+based on untrusted flags. Signing adds no allocator, host callback, random
+source, key generation, JWK/PEM parsing, or provider authority.
+
+The caller clears the invocation frame and borrowed Rust stack after capturing
+the signing result. SigningKey also zeroizes its owned scalar on drop. Private
+JWK decoding belongs to JWT; secrets and request lifetime belong to providers.
+
+The earlier G0 source-selection hash records the foundation, not signing
+acceptance. Signing acceptance requires the current guest and JWT signing
+fixtures. Historical seal reports do not validate this revised artifact.
+
+Ordinary application builds consume the checked-in prebuilt. Only maintainers
+run `node ../build.cjs --write` with the pinned toolchain; the script rebuilds
+twice and requires identical raw and optimized bytes.

package/guests/es256-rustcrypto/source/bearssl/LICENSE.txt

@@ -0,0 +1,21 @@
+Copyright (c) 2016 Thomas Pornin <pornin@bolet.org>
+
+Permission is hereby granted, free of charge, to any person obtaining 
+a copy of this software and associated documentation files (the
+"Software"), to deal in the Software without restriction, including
+without limitation the rights to use, copy, modify, merge, publish,
+distribute, sublicense, and/or sell copies of the Software, and to
+permit persons to whom the Software is furnished to do so, subject to
+the following conditions:
+
+The above copyright notice and this permission notice shall be 
+included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, 
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND 
+NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
+ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
+CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/guests/es256-rustcrypto/source/bearssl/UPSTREAM.json

@@ -0,0 +1,49 @@
+{
+  "url": "https://www.bearssl.org/bearssl-0.6.tar.gz",
+  "version": "0.6",
+  "archiveSha256": "6705bba1714961b41a728dfc5debbe348d2966c117649392f8c8139efc83ff14",
+  "files": {
+    "inc/bearssl_ssl.h": "52ea66d52eac903661865d99a05b5621e743a4acb227d7faf154bb5ce1ea48f3",
+    "inc/bearssl_rsa.h": "1d9538cb78269cd02ca9ec118f67930ba88730eece4427f973fda2cb7122f9ff",
+    "inc/bearssl_hmac.h": "a40c14a7a71d5b4fa21f8485d7ad3975d3a37b9cd8b9f72cd0fa032af8105614",
+    "inc/bearssl_prf.h": "0162e674d6c49425bfa0e8e9c79b3d850530e7928288930284fb7ac940a12b17",
+    "inc/bearssl_ec.h": "3ee566b317361828cce70a96ce22d34d865b8dea73e65de55a6f511076bab766",
+    "inc/bearssl_aead.h": "9d90afbc65535335517c028817ac0704af6b58971f2c262a65eb26e0b4099201",
+    "inc/bearssl.h": "5e73cb64005a5efd5082932bb9b7a3301a748969841c45d7f61123006e9ca5fe",
+    "inc/bearssl_x509.h": "92a1674630209ee2a35d078990f7d8a1bf98753b4ec97db9aa9c288f7c294ab1",
+    "inc/bearssl_pem.h": "ef36260e8568e5927178e92c2aab849be71bc07414c01baeb1d12a3a51a82c3e",
+    "inc/bearssl_rand.h": "968335e8a2957e5bf64cb0b6b1f916e53bc330e8c66d5f2d2f658f415a56dd44",
+    "inc/bearssl_kdf.h": "dee68113a97743febd0fee22d545c9548d81a6448e5b28311fa8ce384ee48bd8",
+    "inc/bearssl_hash.h": "adfe3039fe48962c7fd74a1031f6d9dde951fb12a6acdae65a39f4d8537d2ef9",
+    "inc/bearssl_block.h": "a00b4a48c42c824f2ec4ee775672df9cec86ad455b08cb8ae7eb8c89e63d082a",
+    "LICENSE.txt": "771bf18c8633ea69ec9b07d2e604c4b99b7bef41b0f5ce6385d24df4448f61ca",
+    "src/inner.h": "05a4c5b30599a00deda2648fbb842c07eb783bc5a62589ba90c3fada36ad732a",
+    "src/config.h": "785d0cea25a7bbcb2b6d32e096072ac00b12f4d0b4819aa95ca28816a0e484d0",
+    "src/int/i31_ninv31.c": "6e8cb090af5052252253597338b7b1c3b5f1c34a31b7b9668cfb512b9c5854eb",
+    "src/int/i31_fmont.c": "2d327ab832882c41ebd7be305883e48d7b7c1ddc25a84ae1894914ec7429201d",
+    "src/int/i31_decode.c": "93690aeb61b5986c2bed451e6fb9dadd893b7caf132d21dd10d980ae6c47eb92",
+    "src/int/i31_reduce.c": "7dab79ac842ef8fbf45441a1453e2661049b2166dd76e220dffade5621cdea27",
+    "src/int/i31_modpow.c": "484c22d19397cda93be1b349683a3128e5f51fb8fb408ddc6a7bbdf96ee53993",
+    "src/int/i31_decred.c": "99ccf4b5c0d7c88ae4f233801ba6e4ce7363bf58d8d3eed0f4693f0a70dacb4a",
+    "src/int/i31_moddiv.c": "e930db501f7c400ed036e2e9054216afc8c4d4bb0701563e97520f96dea3131b",
+    "src/int/i31_muladd.c": "243f4587f7eb443e2844d7e3ccd7b5177187a7c4d1707344d085599ba28fe192",
+    "src/int/i31_tmont.c": "a16cd1f0b8a1658b6db2b4ea3d6423dab0da9294ce2a146fa7bc46de5dd84798",
+    "src/int/i31_decmod.c": "654e982c3fefbd874effb816646159f08340291c4805df9a28aba29f1c8eb12c",
+    "src/int/i31_montmul.c": "c2a8a366679fc13ce77e207f11f627d3f1e6cae2b57610215774eb5c5058064e",
+    "src/int/i31_sub.c": "08e82e7fbb042081b6b37e882f05e4611e8c9502f0acb19234520a6f8b8e22c8",
+    "src/int/i31_bitlen.c": "c0bb679941783edf36ef941e11258ffa9261255ec1095e916f3b43c87b28a044",
+    "src/int/i31_encode.c": "4235d5bb38695e8296603682c84a1b1959fd3e6a44fe9d26f6c1e320c110f923",
+    "src/int/i31_rshift.c": "0e9b7fbbd45c6ed7d4647cbd84afa9a8ff51d3c3b7033e8c103de630c17b1ef0",
+    "src/int/i31_add.c": "d8b364d686757e2ea87e900930f84cc1ed6991e67ee454c3c4edbede745762dc",
+    "src/int/i31_mulacc.c": "f08baed7329c5fd66d5c2272ea977e697c8ea16daf8e08c6d85cd94ed9d43171",
+    "src/int/i31_modpow2.c": "9f1996dc8e0fbeee66d9535a44d4f89836848206cac44cee01db52191e79c008",
+    "src/int/i31_iszero.c": "a479041e88dfc813e1560442b31c4e6a4b1f40ce1c0c50335a52dfd5205c47f2",
+    "src/rsa/rsa_i31_priv.c": "f4755814fc081deaaba6ba84000cd04558018da71e718df438c85b65572a595a",
+    "src/rsa/rsa_i31_pub.c": "e6514c5c4eba7068a7e6655717d18a20ac8f19524501120ac117d8a859542631",
+    "src/rsa/rsa_pkcs1_sig_pad.c": "0b1ea86930f5454def4370667a30deb31f577e13287e85a95d5c483290b98eb6",
+    "src/codec/ccopy.c": "5163871149faa35a4ba026a915743065238fc94cc4312f02867a4f50ff2631f8",
+    "src/codec/dec32be.c": "ebd7bf469655a9e4de4b3d1d01d4c54f19117def3e3b918242629c150979bd9c",
+    "src/codec/enc32be.c": "8090b5bd6959586e769814e9d3698ac1c454e31ee4dfd5a2b2eb95a805063ae4",
+    "src/int/i32_div32.c": "f0ade1999953e879c5cdb2ae66fd00438d09cab3099ed1143288cbeaaad40295"
+  }
+}