moonmath/Sable: An open-source prover for verifiable language model outputs

MoonMath.ai has released Sable, an open-source prover that generates cryptographic proofs verifying that a specific open-weight language model produced a given reply, token by token. The proof can be verified on a single CPU core in under a minute without needing a GPU. Benchmarks show proving times ranging from roughly 84 to 668 seconds depending on the model and context length. Open article →