--- Log opened Thu Dec 19 00:00:41 2019
00:09 < dr-orlovsky> andytoshi: I'm on the CES time zone, Zurich time, GMT+2.
00:09 < dr-orlovsky> andytoshi: I was discussing typing and Merkle Trees with Peter Todd a while ago, he had some strong arguments for having a type for each branch even
00:11 < dr-orlovsky> the point is that "Type" is something that means the same in-memory serialization AND the same semantics. You should not be able to compute on two branches placed at the different levels, and this must be prohibited at the level of the code itself. So may be it even worth doing MerkleBranch<LEVEL: const u16> type
00:21 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has quit [Quit: Textual IRC Client: www.textualapp.com]
00:22 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has joined #rust-bitcoin
00:26 < dr-orlovsky> I will be AFK for the next two days mostly, being online at most an hour per day - have to drive a long distance before the holidays; so feel free to change any part you need
00:43 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has quit [Quit: My MacBook has gone to sleep. ZZZzzz...]
01:37 < stevenroose> haha, const generics? MerkleBranch<n>
02:06 -!- jonatack [~jon@213.152.161.149] has joined #rust-bitcoin
02:06 < stevenroose> andytoshi: I left a bunch of new comments (did a more in-depth review). Some types are used in wrong places IMO and the encoding impl did something weird. But since orlovsky isn't here, I'd say let's merge and I'll follow-up.
03:04 -!- Kiminuo [~mix@213.128.80.60] has quit [Quit: Leaving]
03:06 -!- Arch10Bogan [~Arch10Bog@ns334669.ip-5-196-64.eu] has joined #rust-bitcoin
03:54 < elichai2> andytoshi: I wonder how a rewrite of ctaes in rust will look like. how the assembly will compare and if I could somehow redo sipa's formal checks on the rust impl
04:39 -!- jonatack [~jon@213.152.161.149] has quit [Ping timeout: 268 seconds]
04:57 -!- belcher [~belcher@unaffiliated/belcher] has joined #rust-bitcoin
05:37 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #rust-bitcoin
06:05 < stevenroose> elichai2: what prevents you from trying? :)
06:28 < elichai2> stevenroose: time? effort? and I first need to decide how do I evaluate it before starting to write it
06:50 -!- dr-orlovsky [~dr-orlovs@178-133-148-44.mobile.vf-ua.net] has joined #rust-bitcoin
06:55 -!- dr-orlovsky [~dr-orlovs@178-133-148-44.mobile.vf-ua.net] has quit [Client Quit]
07:05 -!- dr-orlovsky [~dr-orlovs@178-133-148-44.mobile.vf-ua.net] has joined #rust-bitcoin
07:08 -!- dr-orlovsky [~dr-orlovs@178-133-148-44.mobile.vf-ua.net] has quit [Client Quit]
07:45 -!- dr-orlovsky [~dr-orlovs@net77-43-115-166.mclink.it] has joined #rust-bitcoin
07:48 -!- dr-orlovsky [~dr-orlovs@net77-43-115-166.mclink.it] has quit [Client Quit]
08:21 < andytoshi> sigh, how has 349 turned into a fight with peter todd
08:22 < andytoshi> heh good question elichai2. no idea
08:22 < andytoshi> i'd be suspicious though. rustc moves way faster than any C compiler and is much harder to trick
08:24 < elichai2> i'd think that it should be too different than clang except the whole overflowing instructions everywhere (probably nowhere in x86?)
08:25 < andytoshi> maaybe for AES you're right
08:25 < andytoshi> but in general rustc knows so much about aliasing and mutability
08:25 < andytoshi> and it's impossible for a C compiler to know pretty much anything
09:13 -!- erasmospunk [~erasmospu@2a01:4f8:160:9147::2] has quit [Quit: bye]
09:20 -!- erasmospunk [~erasmospu@static.153.17.9.5.clients.your-server.de] has joined #rust-bitcoin
10:08 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 268 seconds]
10:41 -!- belcher [~belcher@unaffiliated/belcher] has joined #rust-bitcoin
11:26 -!- Relis [~Relis@cpc96290-lewi18-2-0-cust910.2-4.cable.virginm.net] has joined #rust-bitcoin
11:33 < Relis> Hi, what's rust bitcoin?
11:33 < Relis> is this a new client?
11:34 < dongcarl> Relis: https://github.com/rust-bitcoin/rust-bitcoin/blob/master/README.md
11:35 < dongcarl> If that's unclear, feel free to ask more!
11:35 < Relis> Oh its a library
11:35 < Relis> can you eli5 what the library does?
11:36 < dongcarl> What's unclear from the description in the README?
11:37 < Relis> erm, all of it
11:37 < Relis> liike I  have no clue what this means "de/serialization, parsing and executing on data structures and network messages related to Bitcoin"
11:38 < Relis> but this intreaagues me "Pay-to-contract support as in Appendix A of the Blockstream sidechains whitepaper"
11:38 < Relis> what doess that mean?
11:44 -!- Netsplit *.net <-> *.split quits: wraithm
11:48 < dongcarl> Relis: pay-to-contract support might get deprecated or removed
11:49 < dongcarl> Relis: What is your aim, just to learn more? Are you trying to build something?
11:50 < Relis> I'm just trying to see what's happening in bitcoin land
11:50 < Relis> What people are doing, what they working on, what's happening
11:53 < Relis> and it's been some time but II never came across rust bitcoin
11:53 -!- wraithm [~wraithm@unaffiliated/wraithm] has joined #rust-bitcoin
11:53 < Relis> is tthis Rusty's project?
12:19 -!- Netsplit *.net <-> *.split quits: ghost43, Dean_Guss
12:29 < andytoshi> it is not rusty's project
12:29 < andytoshi> pay-to-contract is going to move to rust-miniscript
12:29 < andytoshi> this library is pretty low-level. i'm not sure i can give a high level summary beyond what is in the readme
14:00 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 245 seconds]
14:04 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined #rust-bitcoin
15:25 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
15:29 -!- Netsplit *.net <-> *.split quits: ghost43
15:35 -!- tr0yb1t [~tr0yb1t@cpe-104-34-186-151.socal.res.rr.com] has joined #rust-bitcoin
15:47 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #rust-bitcoin
18:13 -!- Relis [~Relis@cpc96290-lewi18-2-0-cust910.2-4.cable.virginm.net] has quit [Quit: This computer has gone to sleep]
18:17 -!- Relis [~Relis@cpc96290-lewi18-2-0-cust910.2-4.cable.virginm.net] has joined #rust-bitcoin
18:21 -!- Relis [~Relis@cpc96290-lewi18-2-0-cust910.2-4.cable.virginm.net] has quit [Client Quit]
19:13 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 248 seconds]
19:41 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 258 seconds]
19:42 -!- belcher [~belcher@unaffiliated/belcher] has joined #rust-bitcoin
21:24 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has joined #rust-bitcoin
21:27 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has quit [Remote host closed the connection]
21:29 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has joined #rust-bitcoin
21:43 -!- DeanGuss [~dean@gateway/tor-sasl/deanguss] has quit [Remote host closed the connection]
21:50 -!- andytoshi [~apoelstra@wpsoftware.net] has joined #rust-bitcoin
21:50 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]
21:50 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #rust-bitcoin
23:27 -!- dr-orlovsky [~dr-orlovs@89.143.12.62] has joined #rust-bitcoin
--- Log closed Fri Dec 20 00:00:42 2019