trusted-computing-base
Not the keyword you're looking for? See all keywords.
Nutrition Labels for Trust
Vitalik Buterin wants software to carry a nutrition label of its trust dependencies, and binji wants agents that read it for us. Concrete already builds the machine-and-math half of that label as a compiler artifact rather than prose: capabilities, proof obligations, evidence classes, axioms, and trusted boundaries.