One of the major challenges in the world of blockchains is that of scaling up, particularly in terms of throughput, i.e. the number of transactions per second. One way to increase throughput is to use a block validation system other than the one based on proof of work…
In STARK-like zero -knowledge proofs, like those of the Starware company, the major algorithmic and mathematical breakthrough which enables such great performance in applications is the invention of very efficient “low degree test” of univariate polynomials. Our work enables to perform such low degree test for multivariate polynomials, with the…
One of the main obstacles to the deployment of blockchains is the fact that the data managed on a blockchain is publicly accessible. This is unthinkable in the health or banking sectors, for example. Zero-knowledge technologies can resolve precisely this contradiction. These technologies can be implemented either by deploying a blockchain specifically designed to integrate zero-knowledge…
We show that the single-server computational PIR protocol proposed by Holzbaur, Hol- lanti and Wachter-Zeh in [HHW20] is not private, in the sense that the server can recover in polynomial time the index of the desired file with very high probability. The attack relies on the following observation. Removing rows…
