
English: 
So today I would like you to talk about zero-knowledge proofs.
So the reason why I would like to talk to you about that is that today
there are a lot of useful technologies coming out, so more and more technologies are very great,
but they have the big drawback that they need your data. And your data can actually be pretty private or sensitive.
In that scope, actually, privacy enhancing technologies aims to let you have both. So you can benefit from
modern technologies without having to give back your data, or, on the other way around, you can have your privacy
without having to go back to the Stone Age, for instance. One nice example of privacy enhancing technologies
is the zero-knowledge proof and it's the thing I'm going to talk about you today
What actually zero-knowledge proofs are -- they are protocol which let a prover, let's say me, to prove you
a statement about a secret,

Turkish: 
Bu yüzden bugün sıfır bilgi kanıtları hakkında konuşmanızı istiyorum.
Bu yüzden sizinle bunun hakkında konuşmak istememin nedeni bugün
Çok sayıda faydalı teknoloji ortaya çıkıyor, bu yüzden gittikçe daha fazla teknoloji çok iyi.
ancak verilerinize ihtiyaç duymaları konusunda büyük dezavantajları var. Ve verileriniz aslında oldukça özel veya hassas olabilir.
Bu kapsamda, aslında, gizlilik arttırıcı teknolojiler her ikisine de sahip olmanıza izin vermeyi amaçlamaktadır. Böylece faydalanabilirsiniz
modern teknolojiler verilerinizi geri vermek zorunda kalmadan veya diğer taraftan gizliliğinize sahip olabilirsiniz
Mesela Taş Devrine geri dönmek zorunda kalmadan. Gizlilik geliştirme teknolojilerinin güzel bir örneği
Sıfır bilgi kanıtı ve bugün senin hakkında konuşacağım şey
Aslında sıfır bilgi kanıtı nedir - onlar seni ispatlamak için bir prover, bir diyelim bana söyleyen bir protokoldür
bir sır hakkında bir açıklama,

Turkish: 
aslında bu sırrı bırakmadan. Bu yüzden sana bir sır bildiğimi kanıtlayabilirim ve
Bu sırrı açığa vurmadan, o sır hakkında bir şey. Yani genel olarak böyle çalışır,
fakat sıfır bilgi kanıtının ardındaki sezgiyi anlamak için kolay bir yol
Aslında bu iki kalem ile oyun.
Bu yüzden size bu iki kalemi vereceğim ve fikir sizin renk körlüğünüz olduğu ve ayırt edemediğinizdir.
hangisi kırmızı, hangisi mavi.
Ama sen bana inanmıyorsun. Aslında bu kalemleri ayırt etmenin bir yolu olmadığını düşünüyorsunuz.
ve şimdi size bu kalemlerin gerçekte ayırt edilemez olduklarını kanıtlamak istiyorum
hangisinin mavi, hangisinin kırmızı olduğu bilgisini vermek. Bu yüzden hangisini bilmeni istemiyorum
hangisi mavi olan kırmızı, ama yine de söylediğimde bana inandığına emin ol.
Peki nasıl çalışıyor?
Bu yüzden sana bu iki kalemi vereceğim
rastgele düzen ve şimdi sizden onu arkanıza koymanızı ve kollarınızı değiştirmenizi isteyeceğim.
Ya ikisini de rastgele yapmazsın.
İlgilendiğim kadarıyla,

English: 
without actually giving up that secret. So I can prove to you that I know a secret, and
something about that secret, without revealing that secret. So this is how it works in general,
but an easy way to understand the intuition behind zero-knowledge proof
It's actually the game with these two pens.
So I will give you these two pens and the idea is that you are color blind and you cannot distinguish
which one is the red and which one is the blue.
But you don't believe me. You think that actually there are no way to distinguish these pens
and now I would like to prove you that these pens are actually distinguishable without
giving away the information of which one is the blue and which one is the red. So I don't want you to know which one
is the red which one is the blue, but still be sure that you believe me when I say: one these two are not equal
So how does it work?
So I will give you these two pens in
random order and now I will ask you to put it behind your back and to swap your arms.
Either you do either you don't at randomly.
As far as I'm concerned,

Turkish: 
Bunun mavi mi yoksa kırmızı mı olduğunu bilmiyorum, bunlar bana aynı görünen iki kalem.
Aynen renk körsün, ama ben onları ayırt edebilirim. Tamam, bunları arkamda bırakıyorum.
Onları değiştirirsiniz veya yapmazsınız.
Ve şimdi size söyleyebilirim, kalemleri değiştirmediniz. Peki şimdi
bana gerçekten inanıyorsun, ama gerçekten emin değilsin çünkü basitçe rastgele söyleyebilirdim.
Tahmin etmek, doğru cevabı tahmin etmek için% 50 şansım vardı, o yüzden tekrar yapalım diyelim.
Tamam, tamam, arkamdan ve
Evet.
Artık kalemi değiştirdiğini söyleyebilirim.
Şimdi biraz daha ikna oldun çünkü biliyorsun ki sadece% 25 şansı ile hile yapabilirdim.
Ve sıfır bilgi kanıtının arkasındaki fikir bu.
O deneyi istediğin kadar tekrarlayarak olasılığını azaltabiliriz.
% 12.5'e kadar ve tamamen bu konuda hile yapamayacağımı ikna edene kadar.
Bu ilk örnek ve işleri net bir şekilde açıklamak için ikinci bir örneğim var.

English: 
I don't know if this is blue or this is red, these are just two pens that look the same to me.
Exactly, you are color blind, but I can distinguish them. Okay, so I'm putting these behind my back.
You swap them or you don't.
And now I can tell you, you didn't swap the pens. So now
you actually kind of believe me, but you're not really sure, because I could have simply said it at random.
I had a 50% chances to guess, to guess the right answer, so let's say you do it again.
All right okay, going behind my back and,
yeah.
Now I can say you swapped the pen.
So now you're a little bit more convinced because you know that I could have cheated only with a chance of 25%
And that's the idea behind zero-knowledge proof.
We can repeat that experiment as often as you like, decreasing the probability
to 12.5% and so on until you're fully convinced that I couldn't have cheated about that.
This is the first example and I have a second one to make things absolutely clear.

English: 
It's about these cards, so let's say that we have a classic card deck of 52 cards,
and I'll take like one randomly from this. And
now I would like to prove you that this card is actually red
But I don't want to give away the information about the number on that card and nothing else about that.
How does it works to convince you about that without giving away the number?
So I will simply put that here so you can see it
and I take the other one. Now what I will do is, I will show you
exactly
26 cards
that are actually black.
So now you can count them, and
if you do you, will notice that if there are here 26 cards which are black, this one here must be red. So this is
our nice example on how zero-knowledge proof works and the intuition behind them.
To make this thing a little bit a little bit more mathematical for the people that may like it,
zero-knowledge proofs
actually have three criteria.

Turkish: 
Bu kartlarla ilgili, diyelim ki 52 kartlık klasik bir kart destemiz var.
ve bundan rastgele biri gibi alacağım. Ve
şimdi size bu kartın kırmızı olduğunu kanıtlamak istiyorum
Ama o karttaki numara ile ilgili bilgileri vermek istemiyorum, bununla ilgili başka bir şey yok.
Numarayı vermeden sizi bu konuda ikna etmek nasıl çalışır?
Böylece basitçe buraya koyacağım böylece onu görebilirsin
ve diğerini alırım. Şimdi yapacağım şey, sana göstereceğim
kesinlikle
26 kart
Bu aslında siyah.
Yani şimdi onları sayabilirsiniz ve
eğer yaparsanız, burada siyah olan 26 kart varsa, bunun kırmızı olması gerektiğini fark edeceksiniz. Yani bu
sıfır bilgi kanıtının nasıl çalıştığına ve arkalarındaki sezgilere güzel bir örnek.
Bu şeyi sevebilecek insanlar için biraz daha matematiksel hale getirmek,
sıfır bilgi delilleri
aslında üç kriter var.

English: 
If the protocol respects these three criteria, you can say, "Okay
I did a zero-knowledge proof." The first is correctness.
It simply states that, if both people are honest, so if I'm honest and you are honest, everything works fine
The second one is soundness. It's also kind of obvious. It means that if I don't know the secret
I cannot prove the statement, and I cannot prove that I know the secret so with the example of before if I couldn't
recognize the color of the pens
I wouldn't be able to tell you if you swapped or not pens behind you back
and the third one is what makes the whole point of having zero knowledge proof is the is the characteristic called
zero-knowledge in itself it means that
after following the protocol you learn nothing more than the statement that I wanted to prove you
So in the example of the card you learn nothing more that the card here is actually red
Nothing, no side information. That's the whole point. How can you use your knowledge proofs in the real life?

Turkish: 
Protokol bu üç kritere uyuyorsa, "Tamam" diyebilirsiniz.
Sıfır bilgi kanıtı yaptım. "İlk doğruluk.
Basitçe, eğer her iki insan da dürüst olursa, bu yüzden dürüstsem ve sen dürüstsün, her şeyin yolunda gittiğini belirtir.
İkincisi ise sağlamlık. Aynı zamanda çok açık. Sırrı bilmezsem demek oluyor.
İfadeyi ispat edemem ve sırrı bildiğimi ispat edemem, öyleyse daha önce olmadığı gibi
Kalemlerin rengini tanımak
Arkanızdaki kalemleri değiştirdiyseniz veya değiştirmediyseniz size söyleyemem.
ve üçüncüsü, sıfır bilgiye sahip olma noktasını bütünüyle kanıtlayan şey, karakteristik özelliktir.
kendi içinde sıfır bilgi demek
protokolü takip ettikten sonra seni ispatlamak istediğim ifadeden başka bir şey öğrenemezsin
Yani kart örneğinde, buradaki kart aslında kırmızı olduğundan daha fazla bir şey öğrenemezsiniz.
Hiçbir şey, yan bilgi yok. Bütün mesele bu. Bilgi kanıtlarınızı gerçek hayatta nasıl kullanabilirsiniz?

Turkish: 
Yani buna çok güzel bir örnek, sıfır bilgi kanıtı kullanmak için e-oy kullanmakla ilgili.
e-oylama iyi çalışıyor, o yüzden diyelim ki bir seçim için oy kullanmak istiyoruz.
iki adayı olan iki aday daha önce sahip olduğumuz kalem ve
İki zarfım var ve oyum
Diyelim ki sağdaki kalem için oy vermek istiyorum Demek istediğim buraya 1 yazacağım ve
Burada 0
şimdi koydum
Benim zarfın içindeki oyum ve oyları zarfın içine koymak aslında onları kullanarak şifrelemek anlamına geliyor.
Bu videonun kapsamı olmayan belirli bir şema türü
bu yüzden oy birincisi, yani mavi kalem için oy kullanmak istiyorum, buraya koyacağım
ve 0 Burada bu kaleme oy vermek istemiyorum
Nasıl çalışırsınız aynı şeyi yapar, bu yüzden 1 ve 0 yazmalıyım ve siz de buraya koydunuz
Şu anda uzaklara bakmak zorunda mısın?
Evet

English: 
So an example for that, a very nice one, is about e-voting how to use zero-knowledge proof to make
e-voting work fine, so let's say that we want to vote for an election
which has two candidates two candidates are the pen that we had before and
Have two envelopes here and my vote
Let's say I want to vote for the pen on the right here What I do is I'll write a 1 here and
0 here
now I put
My vote inside the envelope and putting the vote inside the envelope actually means and encrypting them using
Specific type of scheme which is not the scope of that video
so the vote one, which means I want to vote for pen blue, I'll put here
and 0 I don't want to vote for this pen here now
How does it works you do the same ok so I have to write 1 and 0 and you put them here
Do you have to look away at this time?
Yes

English: 
ok, let's get my one and then zero, there we go
And so everybody does this voting such way, the envelope means that the voted are encrypted, the idea
is that at the end we use protocol to aggregate the results inside all the envelopes without revealing
particularly each vote we will only reveal the sum of all the votes having blue and all the votes for red
But if we do that
there is many ways that we, the voter, can cheat
The first thing we could do actually is not write 0 or 1
and the election it's all about voting for exactly one candidate, not both, and not none of them
So the first zero-knowledge proof we could include inside that e-voting protocol is the proof that
The sum of our votes, so the sum of the things that are inside your envelope, sum up to 1
Which means you voted for exactly one candidate, but now imagine that you were about cheating and what you did was you put?

Turkish: 
tamam, hadi bir tane alalım ve sonra sıfıra gidelim
Ve böylece herkes bu şekilde oy kullanır, zarf oyların şifreli olduğu, yani fikir olduğu anlamına gelir.
Sonuçta, tüm zarfların içindeki sonuçları ortaya koymadan toplamak için protokol kullanıyoruz.
özellikle her oylamada yalnızca mavi olan tüm oyların ve tüm kırmızı oyların toplamını göstereceğiz.
Ama eğer bunu yaparsak
seçmen olarak aldatabileceğimiz birçok yol var.
Yapabileceğimiz ilk şey aslında 0 veya 1 yazmak değil.
ve seçim, her ikisinde de değil, hiçbirinde değil, yalnızca bir adayın oylanmasıyla ilgili.
Dolayısıyla, bu e-oylama protokolünün içine ekleyebileceğimiz ilk sıfır bilgi kanıtı,
Oylarımızın toplamı, yani zarfınızın içindeki şeylerin toplamı, 1'e kadar
Bu, tam olarak bir aday için oy kullandığın anlamına geliyor ama şimdi aldatma konusunda olduğunu ve ne yaptığını hayal ettin?

Turkish: 
bir zarftaki eksi 1 ve diğerindeki artı 2 ise toplam hala 1'dir
Fakat bunu yapamazsınız, bu yüzden ikinci bir sıfır bilgi kanıtı
protokolüne eklemek gerekir kanıtıdır
şifreli değerler ikilidir, yani 0 veya 1 olur, bu yüzden bunlar iki sıfır bilgi kanıtı olur
Şimdi de isteğe bağlı olan başka bir diyelim.
Diyelim ki, Pen'in politikası hakkında hiçbir şey bilmediğimi söyleyelim, ama bu konuda çok şey bildiğinizi biliyorum.
Öyleyse ne yapabilirdim zarfını, önceki oyunu
İçinde ne olduğunu bilmeden kopyala / yapıştır yapıyorum ve daha sonra oy veriyorum.
Bunu önlemek için, üçüncü sıfır bilgi kanıtı
gerçekte ne için oy kullandığımı bilen zarfın içini tanıdığımı ve
bu, saf e-oylama ile yaşayabileceğimiz üç sorunu hafifletti.
Bu örneklerden biri ve e-dilekçe sistemi için çevrimiçi dilekçe vermek için aynı şekilde uygulanabilir.

English: 
minus 1 in one envelop and plus 2 in the other one the sum is still 1
But you could not do that, so a second zero-knowledge proof
you should add to the protocol is the proof that
the encrypted values are binary, so either 0 or 1, so these makes two zero-knowledge proofs
And now let's say another one which is also optional
Let's say, for instance, that I know nothing about Pen's politic, but I do know that you know a lot about it
So what could I do is I take your envelope, your previous vote
I copy/paste it without knowing what's inside and then I vote it on top of it.
To avoid that, the third zero knowledge proof
would be to prove that I actually know the inside of the envelope that actually know what am I voting for and
this mitigates the three problems that we could have with naive e-voting.
This is one of the example and this could be applied actually in the same way for assigning petitions online for e-petitioning system

English: 
So it's an idea where you can vote electronically so having the benefits of technology without giving away your privacy
when you mentioned looking inside and checking that things are binary and add up to one
people could look inside those anyway, could they? Or is there a special protocol?
No, so actually the envelope here are not really envelope
These are encryption of what is inside so there is no way to decrypt it
and no one is really willing to and has not the
possibility to decrypt each single vote you can only decrypt once all the votes have been summed up
So there is no way to recover which person voted for which a pen at the end
There is only way to know that the person actually
Did a binary vote which also sum up to 1 and that he knew the content of the vote
This is part of the encryption protocol, is it?
Yeah, the second part is part of the zero-knowledge protocol that comes over and
works with the encryption protocol. The idea is that, the fact that the vote is binary is your statement

Turkish: 
Yani elektronik ortamda oy kullanabileceğiniz bir fikir bu yüzden gizliliğinizi vermeden teknolojinin avantajlarından yararlanın
İçine bakmaktan ve şeylerin ikili olup olmadığını kontrol etmekten bahsettikten sonra
insanlar zaten bunların içine bakabilir, değil mi? Yoksa özel bir protokol var mı?
Hayır, aslında zarf gerçekten zarf değil
Bunlar içinde olanın şifrelemesinden dolayı şifresini çözmenin bir yolu yok.
ve hiç kimse gerçekten istekli ve değildir
Her oyu şifresini çözme imkanı, yalnızca tüm oylar toplandıktan sonra şifresini çözebilirsiniz.
Böylece hangi kişinin hangi kalem için oy kullandığını kurtarmanın yolu yok.
Kişinin gerçekte olduğunu bilmenin tek yolu var
Ayrıca 1'e kadar toplayan ve oylamanın içeriğini bildiği bir ikili oy kullandı.
Bu şifreleme protokolünün bir parçası, değil mi?
Evet, ikinci kısım gelen sıfır bilgi protokolünün bir parçası ve
şifreleme protokolü ile çalışır. Fikir şu ki, oylamanın ikili olduğu gerçeği ifadenizdir.

Turkish: 
ancak oyların içeriği sizin sırrınız, bu yüzden hala sizi kanıtlama konusunda sıfır bilgi kanıtı tanımında
sırrı ifşa etmeden sır hakkında açıklamalar
Mesela, kartın kırmızı olduğu gerçeği, kart örneklerimizde
ama sayıları değil, değil mi? Kesinlikle, evet.
Bu bir örnek veya aynı zamanda sır benim oyum, bu yüzden sır: sıfır mı yoksa bir mi?
Sana bunu söylemiyorum, ama bunun ikilik olduğunu ifade etmek istiyorum.
O zaman bilgisayar için enerji maliyeti olmayacak
Enerji maliyeti yok. Enerji maliyeti yok, çünkü işte büyüleyici şey, enerjinin maliyeti nedir
hesaplama kendisi, yükselen bir bilgidir

English: 
but the votes content is your secret so it's still in the definition of zero-knowledge proof about proving you
statements about the secret without revealing you the secret
so for instance the fact that the card is red, back in our cards example
but not what the numbers, right? Exactly, yes.
That's an example or also the secret is my vote, so the secret is: is it zero or one?
I don't tell you that, but I want to tell you the statement that it is binary
It then there will be no energy cost to computing
No energy cost. No energy cost, because, here's the fascinating thing, what costs the energy is not the
computation itself, it's a raising information
