VERDIFAX

Popular repositories Loading

1. lean-verdifax lean-verdifax Public

   Machine-checked Lean 4 proofs behind Verdifax audit bundles: canonical-encoding determinism, injectivity, and manifest binding — cited and reproducible in every audit record.

   Lean 1

2. verdifax-sdk-python verdifax-sdk-python Public

   Cryptographic attestation for AI inference — Python SDK for the Verdifax orchestrator API. pip install verdifax.

   Python

3. verdifax-sdk-go verdifax-sdk-go Public

   Cryptographic attestation for AI inference — Go SDK for the Verdifax orchestrator API.

   Go

4. verdifax-sdk-node verdifax-sdk-node Public

   Cryptographic attestation for AI inference — TypeScript/Node SDK for the Verdifax orchestrator API. npm install verdifax.

   JavaScript

5. verdifax-sdk-r verdifax-sdk-r Public

   R SDK and reproducible-research toolkit for the Verdifax cryptographic attestation pipeline

   R

6. verdifax-verify verdifax-verify Public

   Standalone offline verifier for Verdifax audit bundles: recomputes every canonical hash from bundle content, no network, no credentials, no trust in the producing system. USPTO patent application a…

   Go