From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org [172.17.192.35]) by mail.linuxfoundation.org (Postfix) with ESMTPS id BDDC29E3 for ; Tue, 12 Jan 2016 17:53:26 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.7.6 Received: from mail-vk0-f49.google.com (mail-vk0-f49.google.com [209.85.213.49]) by smtp1.linuxfoundation.org (Postfix) with ESMTPS id C12F71A2 for ; Tue, 12 Jan 2016 17:53:25 +0000 (UTC) Received: by mail-vk0-f49.google.com with SMTP id i129so109115738vkb.0 for ; Tue, 12 Jan 2016 09:53:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jtimon-cc.20150623.gappssmtp.com; s=20150623; h=mime-version:date:message-id:subject:from:to:content-type; bh=yY+M7afbTR57tYyZROHiMVLKw+gZzBiF8RzTigMaPCo=; b=w39XCijcIEZz+dSVpzFI7tDXIGgnaimH6kRbepe3CMWWUGrO93XHgxmTNKnAeIUpG+ e64+P3yrMll4UA9tBt8qJbnk6XUdq1vIuyXJRl0B0JlkQCrVoDKIZCm+M+hliRuWxfOo aNffWeKbaF+Ef5uwfpbhS1F+w3GmOcDylUxWX9UJSaWjTkcucWVUF0x6pfrlrLvsycAz +22TygBiNBo+U+2Fn9bTu0hinVtBX++y9Wg6Soe9fJr39wDuORSS1+EPagNYlczHEHZh nwwziI1dwS7bCTN3Hbz764wAp01JCrn+Derd3+M4Dx5Sno3g2+1OM+9Et4m+/HfJZICF BVzg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:date:message-id:subject:from:to :content-type; bh=yY+M7afbTR57tYyZROHiMVLKw+gZzBiF8RzTigMaPCo=; b=SBHWcCIcg8jkSVbdK5T491X4Of8QNL6c3hs9tG6DMbHszqG3jm4fJnLiYtMWgO4uSI XMsmtYfUq/3BVuetiPA2NMWx5YDzLUmYrFI7ypws57WMlTFeVChPQkSohjOmrccpMUmq sLulPnxHOxuc9bpnmKWU685drhtvSdq51+3JhWlttVLRr/EcXDsWSk1+pUWdZzLfTSQt 01HQBXK6AbmvoE915cPILdBB8hKiZrUFrecVETPv2MfySsGP/pZZYfrUZ29CqCMCrSmt prlIrsFvGesdGyWSt0NsQgd9oK4GWXzicX8DxzBvKAVcp9U5kfkyPWq95ziJEk+guOGy h0Lg== X-Gm-Message-State: ALoCoQmGiHxputhY1rv/OKIg6IZoKcnBDXEomYc6ELY/5DpK1+SWNrtxmG2vpyf661N6uzCpDaSwVg2JCsTT4uw44ZqeozMWTQ== MIME-Version: 1.0 X-Received: by 10.31.150.215 with SMTP id y206mr54315807vkd.63.1452621204942; Tue, 12 Jan 2016 09:53:24 -0800 (PST) Received: by 10.31.141.73 with HTTP; Tue, 12 Jan 2016 09:53:24 -0800 (PST) Date: Tue, 12 Jan 2016 18:53:24 +0100 Message-ID: From: =?UTF-8?B?Sm9yZ2UgVGltw7Nu?= To: Bitcoin Dev , Eric Voskuil Content-Type: text/plain; charset=UTF-8 X-Spam-Status: No, score=-2.6 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,RCVD_IN_DNSWL_LOW autolearn=ham version=3.3.1 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on smtp1.linux-foundation.org Subject: [bitcoin-dev] Libconsensus phase 2 X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Bitcoin Development Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 12 Jan 2016 17:53:26 -0000 After talking to some people about libconsensus in the last Hong Kong conference I realized that my initial plan of exposing one more thing at a time would actually probably slow things down. There's still a promised pdf with pictures that will be released, and actually drafting the UML pictures helped realize that the whole explanation could be much simpler if #7091 was merged first as the last step in phase 1 (that phase has so many contributors that I will probably never get finished documenting it). Matt Corallo's idea of exposing VerifyScript() through a C API certainly helped a lot in cementing the more-minimal-than-earlier dependencies (thanks to Cory Fields among many other people before him) that are not part of the incomplete but existing libbitcoinconsensus library. Given this success in protecting encapsulation by exposing things in a new library, my instinct was to expose more things: VerifyHeader(), VerifyTx() and VerifyBlock() [in that order]. But all those three new functions depend on storage in one way or another. That was part of my reasoning to expose VerifyHeader() first, because I believe there will be less discussion on a common interface for the stored longest chain than for the utxo view (which may depend on other transactions spent within the same block). In any case, I realized we should finish putting all the consensus critical code in the libconsensus lib and then worry about its "final" API. Therefore I changed the goal of the phase 2 in my libconsensus encapsulation planning from "expose VerifyHeader() in the existing libconsensus library" to "build all the consensus critical code within the existing libconsensus library, even if we don't expose anything else". I believe this is much feasible for a single Bitcoin Core release cycle and also more of a priority. Other implementations experimenting with libconsensus like https://github.com/libbitcoin/libbitcoin-consensus will have the chance to compare their reimplementations with the future complete libbitcoinconsensus without having to worry about the C API, which ideally they will help to define. I repeat, the goal of phase 2 in my upcoming libconsensus encapsulation plan is to fully decouple libconsensus from Bitcoin Core. In phase 3, we can refine the storage interfaces and focus on a quasi-final C API. In phase 4, we can refine and take out code that doesn't belong in libconsensus like CTxOut::GetDustThreshold() in primitives/transaction.h and move all those consensus files to the consensus folder before creating a separate sub-repository like for libsecp256k1. Note that most of the file-moving work can be in parallel to phases 2 and 3 and, in fact, by any new developer that is willing to exchange rebase-patience for meaningless github stats (I'll do it if nobody else wants, but I'm more than happy to delegate there: I have more than enough github meaningless stats already). As said, the document with pictures and the update to #6714 are still promised, but until they're ready, merging/reviewing #7091, #7287, #7310 and #7311 could do a great deal to make later steps in libconsensus phase 2 more readable. Most reviewers probably don't need to see any "big picture" to tell whether certain functions on Bitcoin Core are consensus-critical or not, or whether consensus critical code needs to depend on util.o or not. But I wouldn't be writing to the mailing list without a plan with further words nor pictures if I didn't had what I believe is a complete implementation of what I just defined as "libconsensus phase 2". Phase 3 should finish long pending discussions like "should libconsensus be C++14 or plain C" which should NOT delay phase 2. Phase 4 should be mostly trivial: rename files to the target dir and move the remaining unused code out of libconsensus. Phase 5 should make Bitcoin Core eat its own dog food and use libbitcoinconsensus oonly by its generic C API (I'm sorry if this looks too far away for me to even think about detailing it). The work in progress branch (but hopefully being finished, nit and merged within the 0.12.99 cycle) can be found in: https://github.com/jtimon/bitcoin/commits/libconsensus-f2 Before sipa asks, signing code may make it into a new library but SHOULDN'T BE PART OF LIBBITCOINCONSENSUS. Ideally, all exposed functions will return true or false and an error string. It is based on last-0.12.99 3cd836c1 but by popular demand I can open it as a "DEPENDENT-tagged" PR linking to smaller steps and keeping track of steps done. Analogous to the about to be replaced (for a simpler and more maintainable example of testchain) #6382. If people like Wladimir, Cory and Pieter cannot see that I've been able to reduce my overall cry-for-review noise thanks to github adoption of emacs' org-mode's [ ] vs [X] I can alwways leave those "big picture" branches as "private" branches out of the pull request count. I expect to publish a phase 3 branch very shortly. But as said I expect a lot of discussion on the API part, so I don't expect big movements in phase 3 until phase 2 is done (as said phase 4 is orthogonal to anything, this time git will say "verified MOVEONLY" for us). To finish this long mail, if you are new to free software and would like to get familiarized with Bitcoin Core development in particular, moving one file is a simple task that you can always besure you can do right. The way I plan to hand this to you, you won't need to convince anyone to publicly confirm that your "MOVEONLY" commit being legit, because all your remaining work will be to build on one platform (ideally you should do a gitian build, but embarrassingly enough for someone touching consensus code I just trust travis ) and trust travis (as said, that's what I do from my laptop, but I plan to buy my own building machine [and maybe outsource it for free in some protocol that hasn't been invented, sorry again for the distraction]) and fix the includes that have stopped working. I intend to create an issue to move all the files in this list one by one: https://github.com/bitcoin/bitcoin/pull/7091/files#diff-480477e89f9b6ddafb30c4383dcdd705R250 But don't hesitate to contact me if are eager for moving some files, because I believe we can save a few lines of total diff if we chose the order of the movements properly. Sorry, I forgot many people read this list again. Happy to answer any question. Specially about https://github.com/jtimon/bitcoin/commits/libconsensus-f2