zk-SNARK
PulseAugur coverage of zk-SNARK — every cluster mentioning zk-SNARK across labs, papers, and developer communities, ranked by signal.
4 day(s) with sentiment data
-
Anthropic open-sources FlashProve for verifiable LLM output provenance
Anthropic's Frontier Red Team has open-sourced FlashProve, a research prototype that uses zkSNARKs to cryptographically verify if a specific model generated an output. While the proof generation is computationally expen…
-
Anthropic unveils FlashProve for verifiable AI model inference
Anthropic's Frontier Red Team has introduced FlashProve, an open-source research prototype designed to provide cryptographic proof of AI model inference. This system, utilizing zk-SNARK technology, allows users to verif…
-
Anthropic's FlashProve offers cryptographic proof of AI model identity · 10 sources tracked
Anthropic has released FlashProve, an open-source research prototype designed to cryptographically verify that an AI model's output originated from a specific set of weights. This system uses zkSNARKs to generate proofs…
-
ZKStamp Proof-100 uses BitcoinZ for shielded AI agent timestamps
ZKStamp Proof-100 offers a novel method for timestamping digital files using the BitcoinZ blockchain. This system leverages zk-SNARK technology to encrypt the SHA-256 fingerprint of a file within a shielded transaction'…
-
New zk-SNARK framework verifies LLM integrity with adversarial probes
Researchers have developed a novel privacy-preserving framework using zk-SNARKs to verify the integrity of large language models (LLMs) after deployment. This system employs adversarial probes to detect subtle behaviora…
-
Niyam-AI uses zero-knowledge proofs for verifiable AI agent safety
Researchers have introduced Niyam-AI, a novel framework designed to provide cryptographically verifiable safety guardrails for AI agents. Unlike existing methods that rely on software checks, Niyam-AI uses an isolated J…