The importance of full-stack openness and verifiability

Linux Foundation Welcomes TRACE to Advance Verifiable Runtime Evidence for AI Workloads

The Linux Foundation introduces TRACE, a new open standard for verifiable evidence in AI workloads, ensuring portable and trustworthy governance across platforms.

. · openai/ten-proofs@5a102c1

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1

. · openai/ten-proofs@d0e1ae7

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7

. · openai/ten-proofs@e9dce9a

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a

Open Attested Runtimes Explainer

Open Attested Runtimes A New Foundation for User-Controlled Computing Author: Alex Komoroske, with some help from Claude Last Updated: March 26, 2025 Your personal devices are your sovereign territory. You control what software runs, what data is stored, and how your information is used. This ...

. · openai/ten-proofs@94bc0fe

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe

Open Science Foundation

Advancing science through openness

OpenRank (Karma3) — Onchain Atlas

Karma3 Labs' decentralized reputation-compute protocol that ran EigenTrust over onchain and social graphs to power verifiable rankings, feeds, and sybil-resistant airdrops — technically validated but shut down in 2026 for lack of a business model.

openpcc/openpcc

An open-source framework for verifiably private AI inference

LLMs are making formal software verification feasible at a much larger scale

Claude formally proved security properties in the compiled code of 123 open-source libraries. Along the way, it found bugs that had eluded detection for years.

attested.network — Proof of Payment for ATProtocol

An open specification for decentralized, cryptographically verifiable proof of payments.

IPFS — Content addressing for data with confidence

IPFS gives developers content addressing building blocks for verifiable, portable, and resilient applications across open networks

A Safe Path to Open Weights

Strategic openness can strengthen AI safety and support broader access as defenses and safety science mature.

The Meaning of Open

There are a lot of misconceptions about what open means, when it is the right strategy to apply, and the fundamental tradeoffs that go…