Results for data_verifier

VC and VP wrapper for rust and WASM. fi-digital-signatures crate is used to sign and verify the data objects.

A robust implementation of Merkle trees for data verification in distributed systems

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Compile-time policy enforcement and taint tracking framework for Rust

The on-chain verifier for verifying blober proofs.

Navigation utility for AMD SEV-SNP guest environment

HMAC Serialisers to cryptographically sign data like Python's ItsDangerous library but in rust.

Software Quality Assurance CLI for API, Performance, Security, and Web Testing

Elliptic curve VRF with additional data

HMAC Serialisers to cryptographically sign data like Python's ItsDangerous library but in rust.

A cryptographically verifiable data store and universal accumulator for the Spaces protocol.

A no_std SD/MMC/eMMC driver library for ARM64 platforms