sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
BluePass has quit []
reeiiko has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
vtnerd has quit [Ping timeout: 260 seconds]
vtnerd has joined #bitcoin-wizards
vtnerd has quit [Ping timeout: 256 seconds]
vtnerd has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 260 seconds]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
Beetstra1 has quit []
zmnscpxj_ has joined #bitcoin-wizards
zmnscpxj__ has quit [Ping timeout: 240 seconds]
AaronvanW has quit [Remote host closed the connection]
dscho has joined #bitcoin-wizards
ratbaneb_ has quit [Read error: Connection reset by peer]
AaronvanW has joined #bitcoin-wizards
zmnscpxj_ has quit [Remote host closed the connection]
zmnscpxj_ has joined #bitcoin-wizards
reeiiko has quit []
CryptoDavid has quit [Quit: Connection closed for inactivity]
AaronvanW has quit [Ping timeout: 264 seconds]
xi1 has joined #bitcoin-wizards
justanotheruser has quit [Quit: WeeChat 2.9]
rusty has quit [Quit: Leaving.]
justanotheruser has joined #bitcoin-wizards
jeremyrubin has quit [Ping timeout: 240 seconds]
Belkaar has quit [Ping timeout: 260 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
ratbanebo has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
kenshi84 has quit [Ping timeout: 260 seconds]
justanotheruser has quit [Ping timeout: 264 seconds]
kenshi84 has joined #bitcoin-wizards
rh0nj has quit [Remote host closed the connection]
jeremyrubin has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 260 seconds]
rusty has joined #bitcoin-wizards
DeanGuss has joined #bitcoin-wizards
DeanWeen has quit [Ping timeout: 240 seconds]
troygiorshev has quit [Ping timeout: 260 seconds]
troygiorshev has joined #bitcoin-wizards
xi1 has quit []
nick_freeman has joined #bitcoin-wizards
nick_freeman has left #bitcoin-wizards [#bitcoin-wizards]
Jeremy_Rand_DT[m has quit [Ping timeout: 240 seconds]
h4sh3d[m] has quit [Ping timeout: 240 seconds]
elichai2 has joined #bitcoin-wizards
<waxwing>
yeah i read that a few days ago, a nice attempt (but only attempt!) to make it understandable by the uh "general" public :)
charuto has joined #bitcoin-wizards
zkao has joined #bitcoin-wizards
lederstrumpf has joined #bitcoin-wizards
ttc has joined #bitcoin-wizards
Jeremy_Rand_DT[m has joined #bitcoin-wizards
martindale has joined #bitcoin-wizards
remaeus has joined #bitcoin-wizards
h4sh3d[m] has joined #bitcoin-wizards
shesek has quit [Remote host closed the connection]
Guyver2 has joined #bitcoin-wizards
skvidal has quit []
FunPika has joined #bitcoin-wizards
FunPika has quit [Ping timeout: 256 seconds]
roconnor has joined #bitcoin-wizards
Eric-K has joined #bitcoin-wizards
<andytoshi>
it is plausible that, as a consquence of that paper, within the next 12-24 months we'll see a "SNARKs for C" moment where somebody produces an iO construction which, while still far from reasonable, is plausible to run on consumer hardware
<andytoshi>
i think the quanta magazine article does a good job describing the state of iO prior to this paper ... my old phd supervisor was one of the original iO people and i've seen him give talks
<andytoshi>
and he'd always get an awkward "but...this isn't actually a thing right?" type question
Emcy has quit [Read error: Connection reset by peer]
Emcy has joined #bitcoin-wizards
DeanWeen has joined #bitcoin-wizards
DeanGuss has quit [Ping timeout: 240 seconds]
limpkin1 has quit [Ping timeout: 256 seconds]
<andytoshi>
i thought (and this part of why i dropped out of the phd program) that iO was actually impossible because it implied things that were too good to be true
<andytoshi>
and i don't think this was an uncommon view
Frost has joined #bitcoin-wizards
jeremyrubin has joined #bitcoin-wizards
proofofkeags_ has quit [Ping timeout: 256 seconds]
TheoStorm has joined #bitcoin-wizards
son0p has joined #bitcoin-wizards
<jonatack>
andytoshi: thanks for the context!
Eric-K has quit []
TheoStorm has quit [Ping timeout: 240 seconds]
son0p has quit [Quit: Lost terminal]
<andytoshi>
iO constructions, including this recent one, have never been feasible for realistic programs (or any programs really). the candidate i remember eprint.iacr.org/2013/451.pdf would convert a program to a series of pemutation matrices, which had exponential blowup (so only worked for "NC^1 circuits", a notion that i never really grokked), and then used fully homomorphic encryption to lever from
<andytoshi>
this to all programs
<andytoshi>
so good luck doing more than xor'ing a few bits in that model :)
<andytoshi>
but then eprint.iacr.org/2013/454.pdf which was a huge "how to use iO to do basically everything including otherwise-impossible stuff" paper...
<andytoshi>
...which is not only doing complex cryptography inside of the obfuscator, it's using these bizarre special-purpose "punctured PRG" constructions which are themselves super heavy, even before obfuscation