heddleco-capability-verifier cargo 0.28.12 clean Pure owner-anchored capability verification shared by Heddle and Weft 9.5K 8h ago heddle-biscuit-verifier cargo 0.28.13 clean Shared ordinary Biscuit access verification for Heddle, Weft, and browser hosts 2.4K 2h ago rigorix-verifier cargo 0.3.0 clean Protocol-only verifier for Rigorix audit envelopes — HMAC integrity, JSON Schema conformance, per-producer chain + anchor signatures. No rigorix-engine… 682 9h ago hekate-verifier cargo 0.37.0 clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 554 17h ago miden-tx-batch cargo 0.17.1 clean Miden blockchain transaction batch executor, prover, and verifier 31K 1d ago furiosa-opt-lower-types cargo not built 0.9.0 did not build Shared StableAbi types for the furiosa-opt lowering engines, crossing the verifier FFI boundary. 23K 16h ago vti-rooms-dtg cargo not built 0.13.0 did not build The DTG-credential chain verifier for data rooms 4.3K 1d ago rucc-ir cargo 0.24.8 clean The SSA IR with block parameters, and its printer, parser and verifier. 4.2K 1d ago ppoppo-sdk-core cargo 0.51.0 clean Internal shared primitives for the Ppoppo SDK family (ppoppo-pas-external, ppoppo-pas-plims, ppoppo-pcs-external, ppoppo-pcs-session) — verifier port, audit… 1.7K 16h ago hekate-sdk cargo 0.37.0 clean Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. 791 17h ago rigorix-schemas cargo 0.3.0 clean Canonical Rigorix contracts (JSON Schemas + conformance fixtures), embedded at build time and consumable by the verifier, clients, and servers — one copy, no… 689 10h ago verify-trust cargo not built 0.18.1 did not build CI verifier for VGI: checks that every commit in a git range is signed by a DID the community's Trust Registry currently authorizes. 617 1d ago ikigai-passkey cargo 0.1.39 clean A minimal single-user WebAuthn (ES256) assertion verifier: check a passkey assertion against one registered credential — origin, RP-ID, challenge,… 542 1d ago wickra-zk-methods cargo 0.2.0 clean The compiled wickra-zk guest program: the RISC-V ELF the prover runs and the image id the verifier pins, committed alongside the source that produces them. 170 1d ago privatecrates-common cargo 0.2.9 clean Types and rules shared by the PrivateCrates credential provider, verifier and server. 158 20h ago wickra-zk-host cargo not built 0.2.0 did not build Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of… 151 1d ago wickra-verify-cli cargo 0.2.0 clean Reference command-line verifier over wickra-verify-core: recompute a claimed backtest report and confirm or refute it, exiting non-zero on a refuted claim for… 70 2d ago wickra-proof-cli cargo 0.2.0 clean Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a… 66 2d ago wickra-zk cargo not built 0.2.0 did not build Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. 58 1d ago intyga-verify cargo 1.2.0 clean Offline verifier for INTYGA approval receipts (ES256 + WebAuthn) — no INTYGA secret, no network 43 8h ago ferryman-edge-core cargo 0.1.2 clean Core types for ferryman-edge — RouteTable, mTLS reload, JWT verifier, per-tenant rate limiter. 26 1d ago 