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
dEBRUYNE has quit [Quit: Leaving]
Tiraspol has quit []
Tiraspol has joined #bitcoin-wizards
Tiraspol has quit [Changing host]
Tiraspol has joined #bitcoin-wizards
Ylbam has quit [Quit: Connection closed for inactivity]
rusty2 has joined #bitcoin-wizards
MaxSan_ has quit [Ping timeout: 264 seconds]
p3rmagriN has left #bitcoin-wizards ["Leaving"]
rusty2 has quit [Ping timeout: 250 seconds]
gielbier has quit [Ping timeout: 272 seconds]
gielbier has joined #bitcoin-wizards
gielbier has quit [Read error: Connection reset by peer]
rusty2 has joined #bitcoin-wizards
rusty2 has quit [Client Quit]
rusty2 has joined #bitcoin-wizards
PaulCape_ has joined #bitcoin-wizards
Starduster has quit [Ping timeout: 240 seconds]
PaulCapestany has quit [Ping timeout: 244 seconds]
Starduster has joined #bitcoin-wizards
mdavid613 has quit [Quit: Leaving.]
Tiraspol has quit [Ping timeout: 246 seconds]
Tiraspol has joined #bitcoin-wizards
Tiraspol has joined #bitcoin-wizards
Tiraspol has quit [Changing host]
<slackircbridge1>
<dts> He's really trying to Orwell the SPV mining as "optimistic mining"
<slackircbridge1>
<dts> What a total douche
<nsh>
(personal comments are off-topic)
[Derek] has quit [Ping timeout: 272 seconds]
ThomasV has joined #bitcoin-wizards
skyraider has quit [Quit: Connection closed for inactivity]
<slackircbridge1>
<dts> woah how did he see what I said
Emcy has quit [Ping timeout: 244 seconds]
[Derek] has joined #bitcoin-wizards
[Derek] is now known as Guest10680
frankenmint has quit [Remote host closed the connection]
Aranjedeath has quit [Ping timeout: 250 seconds]
PeterR has quit [Quit: Page closed]
bsm117532 has quit [Remote host closed the connection]
bsm117532 has joined #bitcoin-wizards
pro has quit [Quit: Leaving]
Gilfoyle has quit [Read error: Connection reset by peer]
Church- has joined #bitcoin-wizards
Church- has left #bitcoin-wizards [#bitcoin-wizards]
frankenmint has joined #bitcoin-wizards
justanotheruser has quit [Read error: Connection reset by peer]
_rht has joined #bitcoin-wizards
wasi has joined #bitcoin-wizards
justanotheruser has joined #bitcoin-wizards
Aranjedeath has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
wasi has quit [Quit: Leaving]
frankenmint has joined #bitcoin-wizards
freekevin has joined #bitcoin-wizards
[7] has quit [Disconnected by services]
TheSeven has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 244 seconds]
Aranjedeath has quit [Quit: Three sheets to the wind]
c0rw1n_ has quit [Ping timeout: 260 seconds]
Ylbam has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
roman_ has quit [Ping timeout: 264 seconds]
CrazyTruthYakDDS has quit [Quit: Connection closed for inactivity]
roman_ has joined #bitcoin-wizards
roman_ has quit [Ping timeout: 272 seconds]
roman_ has joined #bitcoin-wizards
Tiraspol has quit [Read error: Connection reset by peer]
ThomasV has joined #bitcoin-wizards
Tiraspol has joined #bitcoin-wizards
MoALTz has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 276 seconds]
frankenmint has joined #bitcoin-wizards
roman_ has quit [Ping timeout: 252 seconds]
frankenmint has quit [Ping timeout: 244 seconds]
gabridome has quit [Read error: Connection reset by peer]
gabridome has joined #bitcoin-wizards
gabridome_ has joined #bitcoin-wizards
gabridome has quit [Ping timeout: 244 seconds]
gabridome_ is now known as gabridome
JackH has joined #bitcoin-wizards
bsm117532 has quit [Ping timeout: 244 seconds]
frankenmint has joined #bitcoin-wizards
rusty2 has quit [Ping timeout: 246 seconds]
nonaTure has quit [Ping timeout: 244 seconds]
Guyver2 has joined #bitcoin-wizards
freekevin has quit [Remote host closed the connection]
Starduster has quit [Read error: Connection reset by peer]
dEBRUYNE has joined #bitcoin-wizards
Starduster has joined #bitcoin-wizards
liead has joined #bitcoin-wizards
ManfredMacx has joined #bitcoin-wizards
adam3us has quit [Excess Flood]
livegnik has quit [Read error: Connection reset by peer]
adlai has quit [Ping timeout: 244 seconds]
adam3us has joined #bitcoin-wizards
livegnik has joined #bitcoin-wizards
Transisto2 has joined #bitcoin-wizards
wizkid057 has quit [Read error: Connection reset by peer]
mr_burdell has quit [Ping timeout: 276 seconds]
epscy_ has joined #bitcoin-wizards
roasbeef has quit [Ping timeout: 244 seconds]
Lightsword has quit [Ping timeout: 276 seconds]
tucenaber_ has joined #bitcoin-wizards
smooth has quit [Ping timeout: 276 seconds]
brand0 has quit [Ping timeout: 264 seconds]
mr_burdell has joined #bitcoin-wizards
smooth has joined #bitcoin-wizards
stevenroose_ has joined #bitcoin-wizards
Lightsword has joined #bitcoin-wizards
wizkid057 has joined #bitcoin-wizards
_MRL-Relay has joined #bitcoin-wizards
Eliel has joined #bitcoin-wizards
nickler_ has joined #bitcoin-wizards
RoboTeddy has joined #bitcoin-wizards
othe_ has joined #bitcoin-wizards
binaryFate has quit [Remote host closed the connection]
brand0 has joined #bitcoin-wizards
adam3us has quit [Ping timeout: 260 seconds]
binaryFate has joined #bitcoin-wizards
MRL-Relay has quit [Ping timeout: 240 seconds]
nickler has quit [Ping timeout: 240 seconds]
othe has quit [Ping timeout: 240 seconds]
othe_ is now known as othe
epscy has quit [Ping timeout: 252 seconds]
Alopex has quit [Ping timeout: 252 seconds]
tucenaber has quit [Ping timeout: 252 seconds]
stevenroose has quit [Ping timeout: 252 seconds]
Eliel_ has quit [Ping timeout: 252 seconds]
Alopex has joined #bitcoin-wizards
Alopex has quit [Excess Flood]
adam3us has joined #bitcoin-wizards
roasbeef has joined #bitcoin-wizards
gmaxwell has joined #bitcoin-wizards
runeks has quit [Ping timeout: 258 seconds]
robmyers has quit [Ping timeout: 258 seconds]
henrytill has quit [Ping timeout: 246 seconds]
mappum has quit [Ping timeout: 258 seconds]
robmyers has joined #bitcoin-wizards
runeks has joined #bitcoin-wizards
Alopex has joined #bitcoin-wizards
mappum has joined #bitcoin-wizards
henrytill has joined #bitcoin-wizards
_MRL-Relay is now known as MRL-Relay
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
liead is now known as adlai
Guyver2 has quit [Quit: :)]
kristofferR has joined #bitcoin-wizards
kristofferR has quit [Client Quit]
Emcy has joined #bitcoin-wizards
Emcy has joined #bitcoin-wizards
Emcy has quit [Changing host]
shesek has quit [Ping timeout: 260 seconds]
shesek has joined #bitcoin-wizards
paveljanik has quit [Quit: Leaving]
AaronvanW has quit [Read error: Connection reset by peer]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Changing host]
AaronvanW has joined #bitcoin-wizards
spinza has quit [Ping timeout: 240 seconds]
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
RoboTeddy has quit [Remote host closed the connection]
CubicEarth has joined #bitcoin-wizards
raedah has quit [Remote host closed the connection]
RoboTeddy has joined #bitcoin-wizards
raedah has joined #bitcoin-wizards
pro has joined #bitcoin-wizards
spinza has joined #bitcoin-wizards
MaxSan_ has joined #bitcoin-wizards
CubicEarth has quit [Remote host closed the connection]
roman_ has joined #bitcoin-wizards
dEBRUYNE has quit [Quit: Leaving]
Guest1996 has quit [Changing host]
Guest1996 has joined #bitcoin-wizards
Guest1996 is now known as amiller
dEBRUYNE has joined #bitcoin-wizards
<instagibbs>
LOL
<instagibbs>
why is the bridge 2 way? It's not supposed to be? btcdrak ?
<slackircbridge1>
<instagibbs> test
yoghur114 has joined #bitcoin-wizards
<instagibbs>
guess it's not now nvm
<btcdrak>
someone needs to +q the slackircbridge1 user
Chris_Stewart_5 has joined #bitcoin-wizards
jannes has joined #bitcoin-wizards
yoghur114 has quit [Quit: Page closed]
frankenmint has quit [Remote host closed the connection]
MaxSan_ has quit [Quit: Leaving.]
ManfredMacx has quit [Quit: Bye]
James_ has quit [Changing host]
James_ has joined #bitcoin-wizards
James_ is now known as SyncYourDogmas
frankenmint has joined #bitcoin-wizards
frankenmint has quit [Ping timeout: 264 seconds]
bsm1175321 has quit [Ping timeout: 276 seconds]
Aranjedeath has joined #bitcoin-wizards
edvorg has joined #bitcoin-wizards
<helo>
be care with those smart contracts, folks ;)
Tenhi_ has joined #bitcoin-wizards
<jaromil>
or maybe not, just have fun with it? I guess ethereum now can be considered a testnet
bsm117532 has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 260 seconds]
frankenmint has joined #bitcoin-wizards
Sosumi has joined #bitcoin-wizards
<JackH>
how did it ever get to 160 million dollars?
<JackH>
that alone is INSANE, for non audited code just dumped in a chain that has very little auditing itself to begin with
frankenmint has quit [Ping timeout: 250 seconds]
<kanzure>
wrong channel, JackH
Tenhi_ has quit [K-Lined]
<JackH>
yeah I know....
murch has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
<Taek>
kanzure: can you put all the links about the DAO vulnerability into a single folder?
<JackH>
actually this is a bit relevant for Bitcoin, if anything, we can see the social side at play if they do a HF
<Taek>
or at least give them a single tag. This stuff has a ton of educational value
<JackH>
and if I am not wrong, SegWit + MAST will allow some smart contract possibilities
<kanzure>
Taek: i wasn't going to bother tracking these.
<Taek>
it's both a good example of playing with fire and how not to design a script system
<kanzure>
Taek: i sort of assumed someone else would be keeping a timeline of links but now that i say it outloud i realize that's completely unlikely.
<JackH>
you know we all look to you for links and files and pdf's kanzure
<othe>
not surprised, also not surprised they didn´t find everything
<fluffypony>
to speak to your point, Taek, security audits in cryptocurrency are mostly a marketing exercise
<othe>
would have to be ongoing anyway, or its kinda pointless
<katu_>
unless the implementation is formally verifiable to a spec which itself can be proven
<katu_>
to be fair, bitcoin has neither too
<katu_>
i wonder if theres some academic research to that goal though, kanzure ? :)
<JackH>
lol
<Taek>
There are parts of Bitcoin which have been formally verified, at least to simplified assumptions
<Taek>
for example, I'm pretty sure that sipa did some formal verification to prove that certain types of errors did not exist in libsecp256k1
<Taek>
which is not fully equivalent to proving there are no bugs at all in libsecp256k1, but it shows that the tools exist, are being used, and in the future their use will probably become easier and more ubiquitious
<katu_>
Taek: thats only algorithms in secp256k1, C implementation is pretty much impossible to model check
<gmaxwell>
katu_: thats not true, on either point.
<gmaxwell>
We formally verified some aspects of the C code used in the field arithemetic using frama C, and using formalizations of C (frama c, or the compcert COQ embedding) it's possible to check much more, though we haven't because it's a lot of difficult specialized work that none of the people working on it are experts in.
<bsm117532>
This is one thing that annoys me about Ethereum. For smart contracts you *really* want formal verification. They instead went with an opaque bytecode and multiple front-end languages... :-/
<bsm117532>
I'd have gone with Prolog or ML...
<katu_>
gmaxwell: neat, so limited subset of C on reduced domains. thats pretty impressive. still, incomplete model :/
<katu_>
bsm117532: agreed :(
<gmaxwell>
katu_: the limited subset is the whole of the language we use.
<gmaxwell>
(the formalizations don't support a few things, but those are things we don't use; (well when we started, compcert didn't do long long, but I'm pretty sure it does now))
<katu_>
gmaxwell: im more surprised about the asm part correctness
<katu_>
that theres tooling for that these days
mdavid613 has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
<jaromil>
the problem is not cryptographical, but semantical / linguistic
<jaromil>
there are limits to perfection which set me off from thinking there should really be a crypto-currency written in Coq
<jaromil>
but at least some more literacy in implementing an actual language grammar should be there
<jaromil>
and at the very least, contracts should be written in a language that is as functional, non-imperative and stateless as possible