Publications associées à Proof of space

A Gapless Post-quantum Hash Proof System in the Hamming Metric

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

2023

New SIDH Countermeasures for a More Efficient Key Exchange

Tako Boris Fouotsa, Andrea Basso

The Supersingular Isogeny Diffie-Hellman (SIDH) protocol has been the main and most efficient isogeny-based encryption protocol, until a series of breakthroughs led to a polynomial-time key-recovery attack. While some countermeasures have been proposed, th ...

Springer2023

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

Dario Floreano, Bokeon Kwak, Pietro Rossi

Edible electronics leverages the electronic properties of food-derived materials to deliver safer technologies that can be degraded (or digested) in the environment (or body) at the end-of-life. Sensors will be central to future smart edible robots, and ed ...

2023

DIABLO: A Benchmark Suite for Blockchains

Rachid Guerraoui, Gauthier Jérôme Timothée Voron, Vincent Gramoli, Andrei Lebedev

With the recent advent of blockchains, we have witnessed a plethora of blockchain proposals. These proposals range from using work to using time, storage or stake in order to select blocks to be appended to the chain. As a drawback it makes it difficult fo ...

ASSOC COMPUTING MACHINERY2023

Flash Freezing Flash Boys: Countering Blockchain Front-Running

Bryan Alexander Ford, Verónica del Carmen Estrada Galiñanes, Louis-Henri Manuel Jakob Merino, Haoqian Zhang

Front-running, the practice of benefiting from advanced knowledge of pending transactions, has proliferated in the cryptocurrency space with the emergence of decentralized finance. Front-running causes devastating losses to honest participants-estimated at ...

IEEE COMPUTER SOC2022

Gemini: Elastic SNARKs for Diverse Environments

Alessandro Chiesa

We introduce a new class of succinct arguments, that we call elastic. Elastic SNARKs allow the prover to allocate different resources (such as memory and time) depending on the execution environment and the statement to prove. The resulting output is indep ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

A Toolbox for Barriers on Interactive Oracle Proofs

Alessandro Chiesa

Interactive oracle proofs (IOPs) are a proof system model that combines features of interactive proofs (IPs) and probabilistically checkable proofs (PCPs). IOPs have prominent applications in complexity theory and cryptography, most notably to constructing ...

SPRINGER INTERNATIONAL PUBLISHING AG2022

Diablo-v2: A Benchmark for Blockchain Systems

Rachid Guerraoui, Gauthier Jérôme Timothée Voron, Vincent Gramoli, Andrei Lebedev

2022

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Proof of space

A Gapless Post-quantum Hash Proof System in the Hamming Metric

New SIDH Countermeasures for a More Efficient Key Exchange

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

DIABLO: A Benchmark Suite for Blockchains

Flash Freezing Flash Boys: Countering Blockchain Front-Running

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

Gemini: Elastic SNARKs for Diverse Environments

A Toolbox for Barriers on Interactive Oracle Proofs

Diablo-v2: A Benchmark for Blockchain Systems

On the applicability of the Fujisaki-Okamoto transformation to the BIKE KEM

Graph Chatbot

Chattez avec Graph Search

Learning from the Ethics of AI-A Research Proposal on Soft Law and Ethics of AI

New SIDH Countermeasures for a More Efficient Key Exchange

A Toolbox for Barriers on Interactive Oracle Proofs

On the applicability of the Fujisaki-Okamoto transformation to the BIKE KEM

Flash Freezing Flash Boys: Countering Blockchain Front-Running

A Sprayable Electrically Conductive Edible Coating for Piezoresistive Strain Sensing

DIABLO: A Benchmark Suite for Blockchains

Gemini: Elastic SNARKs for Diverse Environments

Diablo-v2: A Benchmark for Blockchain Systems