Personal tools

Difference between revisions of "Elliptic Curve Accelerator for zkSNARKs"

From iis-projects

Jump to: navigation, search
Line 1: Line 1:
 
[[File:Variation Tolerant.jpg|thumb]]
 
[[File:Variation Tolerant.jpg|thumb]]
 
==Short Description==
 
==Short Description==
WIP: Zero Knowledge Proofs are one of the fastest moving fields in cryptography and security currently. They can be used in many different circumstances and they allow us to build systems that were impossible before. ZCash is a cryptocurrency that uses Zero Knowledge Proofs to keep the users privacy protected. A shielded ZCash transaction does neither reveal the amount transfered nor the participating parties. However these Zero Knowledge Proofs require a lot of computational power and energy and software implementations take 10s of seconds on a current Intel processor.  
+
A Zero Knowledge Proof allows one entity (the prover) to prove a statement to another party without revealing the secrets this statement is based upon. It is believed that such systems will enable a lot of new systems and protocols. One such example is ZCash: ZCash is a cryptocurrency that uses Zero Knowledge Proofs (zkSNARKs) to keep the users privacy protected. A shielded ZCash transaction does neither reveal the amount transfered nor the participating parties. However, creating a zkSNARK requires a lot of computational power and energy and software implementations take 10s of seconds on a current processors, therefore, ZCash is infeasible for constrained mobile devices and hardware wallets.
 +
 
 +
Creating a zkSNARK involves more than 10'000 elliptic curve operations on a specific pairing friendly curve. In this project you would investigate the feasibility of a hardware accelerator for the specific elliptic curve of ZCash.  
  
 
===Status: Available ===
 
===Status: Available ===
Line 9: Line 11:
 
: VLSI I
 
: VLSI I
 
: VLSI II (''recommended'')
 
: VLSI II (''recommended'')
: Experience with elliptic curve cryptography
+
: Experience with elliptic curve cryptography and their implementations
 
===Character===
 
===Character===
 
: 50% Theory
 
: 50% Theory
Line 23: Line 25:
  
 
[[#top|↑ top]]
 
[[#top|↑ top]]
==Detailed Task Description==
 
  
===Goals===
 
 
===Practical Details===
 
===Practical Details===
 
* '''[[Project Plan]]'''
 
* '''[[Project Plan]]'''

Revision as of 10:18, 24 August 2018

Variation Tolerant.jpg

Short Description

A Zero Knowledge Proof allows one entity (the prover) to prove a statement to another party without revealing the secrets this statement is based upon. It is believed that such systems will enable a lot of new systems and protocols. One such example is ZCash: ZCash is a cryptocurrency that uses Zero Knowledge Proofs (zkSNARKs) to keep the users privacy protected. A shielded ZCash transaction does neither reveal the amount transfered nor the participating parties. However, creating a zkSNARK requires a lot of computational power and energy and software implementations take 10s of seconds on a current processors, therefore, ZCash is infeasible for constrained mobile devices and hardware wallets.

Creating a zkSNARK involves more than 10'000 elliptic curve operations on a specific pairing friendly curve. In this project you would investigate the feasibility of a hardware accelerator for the specific elliptic curve of ZCash.

Status: Available

Looking for 1-2 Semester/Master students
Contact: Moritz Schneider

Prerequisites

VLSI I
VLSI II (recommended)
Experience with elliptic curve cryptography and their implementations

Character

50% Theory
50% Digital Design

Professor

Luca Benini
Srdjan Capkun

↑ top

Practical Details

Results

Links

↑ top