3 papers
cs.CR2026
Protocols for Univariate Sumcheck
Malcom Mohamed
Three candidate approaches for univariate sumcheck over roots of unity are presented. The first takes the form of a multilinear evaluation protocol, which can be combined with the…
cs.CR2026
Mitigating Collusion in Proofs of Liabilities
Malcom Mohamed, Ghassan Karame
Cryptocurrency exchanges use proofs of liabilities (PoLs) to prove to their customers their liabilities committed on-chain, thereby enhancing their trust in the service. Unfortunat…
cs.CR2024
Practical Light Clients for Committee-Based Blockchains
Frederik Armknecht, Ghassan Karame, Malcom Mohamed +1
Light clients are gaining increasing attention in the literature since they obviate the need for users to set up dedicated blockchain full nodes. While the literature features a nu…