For payments, is privacy about the amount, the counterparty, or the graph, and which crypto actually gives it?
trending2
01 02 Granite: A Modular Methodology for Foundational Verification of Hardware-Software Leakage Contracts arxiv.orgGranite is a paper on modular leakage-contract proofs for RTL CPUs, with speculation and interrupts, because side channels were too easy.