Ripple Watermarking
An interactive platform demonstrating cryptographically keyed watermarking for AI-generated text. The watermark is statistically undetectable without the key, remains robust to substantial editing, and attributes text to the specific model that produced it with a rigorously controlled false-positive rate. Its Algorithmic Watermarking module extends this to formal mathematics, combining Lean 4 verification with watermark attribution to establish both the correctness and the provenance of AI-generated proofs.