capabilities

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.