trust

Not the keyword you're looking for? See all keywords.

Nutrition Labels for Trust Nutrition Labels for Trust
16 min read Keywords:  concrete, Formal Verification, trust, capabilities, trusted-computing-base, agents, Programming Languages

Vitalik Buterin wants trust nutrition labels for software. Concrete shows what the machine-and-math half looks like when the compiler produces it instead of a vendor writing prose.

Zero-Knowledge Proofs and the Economics of Verification Zero-Knowledge Proofs and the Economics of Verification
5 min read Keywords:  cryptography, coordination, trust

The proving-verification asymmetry in zero-knowledge proofs is what makes them economically meaningful: proving is expensive, verification is cheap, and that gap changes what systems can be built without trust.