croviatrust/countersign

Verifier in TypeScript: verify a TACET proof in the browser at /registry/tacet/ about 11 hours ago

help wanted implementation

0

TACET — verifiable silence for AI training-data disclosure. Hourly epochs opened by drand, closed by Bitcoin; a public predicate over model cards; offline-verifiable proofs of absence as crovia.seal.v1. Spec, reference, conformance vectors, live operator.

HTML

#ai-governance#ai-transparency#bitcoin#cryptography#drand#ed25519#eu-ai-act#huggingface#opentimestamps#proof-of-absence#provenance#python#sparse-merkle-tree#training-data#transparency-log

Second live operator: run TACET epochs from a machine that is not Crovia's about 11 hours ago

help wanted witness

croviatrust/countersign

0

TACET — verifiable silence for AI training-data disclosure. Hourly epochs opened by drand, closed by Bitcoin; a public predicate over model cards; offline-verifiable proofs of absence as crovia.seal.v1. Spec, reference, conformance vectors, live operator.

HTML

#ai-governance#ai-transparency#bitcoin#cryptography#drand#ed25519#eu-ai-act#huggingface#opentimestamps#proof-of-absence#provenance#python#sparse-merkle-tree#training-data#transparency-log

Predicate v1 is English-only: model cards in other languages are read as silence about 11 hours ago

good first issue predicate

croviatrust/countersign

0

TACET — verifiable silence for AI training-data disclosure. Hourly epochs opened by drand, closed by Bitcoin; a public predicate over model cards; offline-verifiable proofs of absence as crovia.seal.v1. Spec, reference, conformance vectors, live operator.

HTML

#ai-governance#ai-transparency#bitcoin#cryptography#drand#ed25519#eu-ai-act#huggingface#opentimestamps#proof-of-absence#provenance#python#sparse-merkle-tree#training-data#transparency-log

Open Issues Need Help