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

openpcc/openpcc

An open-source framework for verifiably private AI inference

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.

Bab - Verifiable partial data for peer-to-peer systems.

TODO

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…

Block - Open Source

By collaborating in the open, we create higher quality software, hardware, and protocols through relentless collective examination, and also ensure our systems, hardware, and protocols evolve to meet real-world needs.