Ahoj,
kdo se zajimate o nejnovejsi pokroky v oblasti kryptomen a nebojite se matematiky, na ms.mff.cuni bude:
(tipl bych si, ze se rozhodne _nejedna_ o "popularizacni" prednasku)
----- Forwarded message from Michal Koucky koucky@iuuk.mff.cuni.cz -----
Dear All,
Ariel Gabizon (Zcash) will give four lectures on recent development in zero-knowledge proofs. He will start by describing the recently launched Zerocash system.
The first two lectures are scheduled:
Tuesday 8.11. - 15:40-17:20 in S4 Thursday 10.11. - 14:00-15:40 is S11
All are welcome,
-- Michal Koucky
------
Title: Recent developments in Zero-Knowledge proofs Speaker: Ariel Gabizon (Zcash)
Abstract:
Loosely speaking, Zero-Knowledge (ZK) proofs enable one to prove possession of certain information without leaking that information; for example, one could prove that he knows the factors p,q of the number n=p*q, without revealing any information on p and q beyond the fact that their product is n.
Until recently, ZK proofs were considered too inefficient and complex to be used for most practical applications. In this short course (I estimate 3-4 meetings), we will review the breakthrough work of Gennaro, Gentry, Parno and Raykova titled "Quadratic Span Programs and Succinct NIZKs without PCPs" and the subsequently developed Pinocchio Protocol that paved way for the use of ZK in practice.
We will begin by informally describing how these proofs are used in the Zerocash anonymous electronic payment system; which started as an academic project, but has recently been deployed as a real-world cryptocurrency called Zcash https://z.cash/
----- End forwarded message -----