deps(deps): bump proptest from 1.11.0 to 1.12.0

5fbee7b

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Socket Security

Socket Security: Project Report

Socket Security: Pull Request Alerts

Code scanning results

CodeQL

Security Validation on: pull_request 8

Core Security Validation

Cryptographic Validation

Constant-Time Verification

Memory Safety Validation

Dependency Security Audit

WASM Security Validation

Generate Security Report

Comment security report on PR

Pull Request Validation on: pull_request 6

Core Validation

Security Validation

Test Coverage

WASM Compatibility

Documentation Validation

PR Summary

CI on: pull_request 27

Core Validation

Publish readiness (${{ matrix.package }})

Test Matrix

Test Matrix (PR crypto rows) (lib-q-mayo-hardened, std,mayo2,hardened,dudect-smoke-tests, lib-q-m...

Test Matrix (PR crypto rows) (ml-dsa-fips, std,random,fips-mode,mldsa44,mldsa65,mldsa87,acvp, lib...

Test Matrix (PR crypto rows) (ml-dsa-hardened, std,hardened,mldsa44,mldsa65,mldsa87,dudect-smoke-...

ZKP Recursive Aggregation

WASM Validation

WASM workspace gate (wasm32-unknown-unknown)

FN-DSA emulated float backend (wasm32 execution)

WASM bindgen smoke tests

Romulus no_std / wasm32 smoke

lib-q-hqc simd-avx2 off-x86_64 arch gate

Fuzz harnesses build (cargo check, no fuzzing)

K12 no_std / wasm32 / thumb smoke

Cross-Platform Builds

aarch64 QEMU execution (lib-q-ml-dsa, simd128)

Benchmark manifest

Benchmark warm cache

Benchmark matrix

Documentation

Algorithm Tests (Keccak, test-keccak, lib-q-keccak, asm,simd, nightly, false)

Algorithm Tests (SHA3, test-sha3, lib-q-sha3, alloc,oid, stable, sha3-224,sha3-256,sha3-384,sha3-...

Algorithm Tests (K12, test-k12, lib-q-hash, alloc,oid,getrandom, stable, false, kangarootwelve)

Algorithm Tests (Saturnin, test-saturnin, lib-q-saturnin, aead,aead-short,block-cipher,hash,strea...

Algorithm Tests (FN-DSA, test-fn-dsa, lib-q-fn-dsa, std,rand, stable, false, true, true)

Algorithm Tests (RNG, test-rng, lib-q-random, std,secure,zeroize, stable, false, true, true, true...

Algorithm Tests (CB-KEM, test-cb-kem, lib-q-cb-kem, cbkem348864, stable, false, true, true, cbkem...

Algorithm Tests (SLH-DSA, test-slh-dsa, lib-q-slh-dsa, alloc, stable, false, true, true, sha2-128...

Algorithm Tests (HPKE, test-hpke, lib-q-hpke, std,ml-kem,saturnin,shake256,hash,secure-rng,duplex...

Algorithm Tests (HQC, test-hqc, lib-q-hqc, std,alloc,hqc128,simd-avx2, stable, false, true, true,...

FN-DSA Portable Path (no_avx2)

SIMD Debug Verification

ML-DSA Compliance

ML-KEM Tests

Constant-Time Verification

Benchmarks · ${{ matrix.id }}

Integration Tests

Final Validation

Select a check to view from the sidebar