From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id wBliNzZjZmO7SQAAbAwnHQ (envelope-from ) for ; Sat, 05 Nov 2022 14:20:54 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id 6GVwNzZjZmM8aQEA9RJhRA (envelope-from ) for ; Sat, 05 Nov 2022 14:20:54 +0100 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 0208812302 for ; Sat, 5 Nov 2022 14:20:53 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1orJ5y-0002dy-1E; Sat, 05 Nov 2022 09:20:22 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1orJ5L-0002Zx-3W for guix-devel@gnu.org; Sat, 05 Nov 2022 09:19:45 -0400 Received: from mail-wm1-x32d.google.com ([2a00:1450:4864:20::32d]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1orJ5J-0006Te-HV for guix-devel@gnu.org; Sat, 05 Nov 2022 09:19:42 -0400 Received: by mail-wm1-x32d.google.com with SMTP id l39-20020a05600c1d2700b003cf93c8156dso3152886wms.4 for ; Sat, 05 Nov 2022 06:19:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:from:to:cc:subject:date:message-id :reply-to; bh=yYmnNYzy+19y5CBhxs+PM0uV6+V2uM3H9oFvwtfBidM=; b=k27cKGe/5sGPJR4qvgdi+kPYuvpOJC7GV7KXMpcITxyFiMmWR/lqkMyQh4yKXtjbTk IAS3+QDNrPMCA2azor0CviNLL/2Cjz5phaBjAvCNJPwEgCuoJ6LFCk1tViRDLhCvfDs6 l1bgU6uwVmTa6FHOJZIKf7vyMYJY6qMxy8jcTPywF6bSbrk61nelI0/p05nlPXkD+p9w dNAKgYYD7CwfccZOUXFROhLoww7RBkZ8vcWNOdoxH1Q+cnQaYFB78Tjc+SqxvivJMo3N 38hMeHW6CpAvWatHiy6h9QrZpzFblsMJoAwaD//ATatVamPnkZCM0cPXENu5EPDlP/HH YMEA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:mime-version:message-id:date:references :in-reply-to:subject:to:from:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=yYmnNYzy+19y5CBhxs+PM0uV6+V2uM3H9oFvwtfBidM=; b=pkcx0/4ooEsxISo8SY5PuPikU3TFv0st4ghzsMsoqlIEUvjxU+GTw2hz3eFwpPVMCC 3Xzmaeo4hKNPbGCXvfULTnzVKnzzy590tLyeI3UsnfM1MO0JTeWufDmOf1iKcloBM3Lx b38DLl0PA5wLRV/7cL1Rfgvzbeog9bCUXyWTGFZdiHbcQl/Sf68P4ch0a5qbkRC74zOa r0cpI6U94pMdKzaWiBvFw+xd1kBDHD1U4mqHcaMbdfNADJ/d0gbR047czkOmPQpLqpk7 glm7VDKVuYvQM4vIhQpkAfQFgXbVgVMtxabdYX0LUUvAyVvEk2qGgF6QK7WpBKUOFkwc kCww== X-Gm-Message-State: ACrzQf31LYXx+a44S56PhE0wFDRTTeLVWT2KVvzpkoTAmgdPGc9cCWYt 1ELtaLYhjNNfGWqPZl02sG/5aoA5H/A= X-Google-Smtp-Source: AMsMyM5ooa7gF9VFnkbxqkoD4DyejQWeAc7eHnxj1i2ws86CRifonJfmhdOplbRVFq2XD2xyse19tg== X-Received: by 2002:a05:600c:4448:b0:3c6:fb65:2497 with SMTP id v8-20020a05600c444800b003c6fb652497mr37284586wmn.124.1667654379715; Sat, 05 Nov 2022 06:19:39 -0700 (PDT) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id m12-20020a5d6a0c000000b00238df11940fsm2129800wru.16.2022.11.05.06.19.39 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 05 Nov 2022 06:19:39 -0700 (PDT) From: zimoun To: Efraim Flashner , guix-devel@gnu.org Subject: Re: Reproducible Builds Summit 2022 In-Reply-To: References: Date: Sat, 05 Nov 2022 13:30:49 +0100 Message-ID: <86zgd5vb0m.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=2a00:1450:4864:20::32d; envelope-from=zimon.toutoune@gmail.com; helo=mail-wm1-x32d.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: "Guix-devel" Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1667654454; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=yYmnNYzy+19y5CBhxs+PM0uV6+V2uM3H9oFvwtfBidM=; b=SSsDT24hpkYKbI74FJghykX8ikr8RR16fDd/yV8+mWZWYKlKWmvsqpkjAYgjT793Snf2OY smJ17YwtMfVxmZeI+vCMENXsVWzdxsJq+IncPZqPCRz1r2xjBDLODFrnCiwyWJCOZXiAun qW8ywSqDQFidFbBpL1uD07zcUQKfa/CrblCTzuOefFt2qMF693n7O+Q6kIAQdGik0OXyBO C3DTdJ9d2jdQO++TDXV6H4C5CaIh1sWIuOQFNZr/QZcCowrF3oFWx1XbzSWQsYi+vt+t0b bB/ifsU1C13/Y2M+G8rRNKE3mcwVmLQ8lrOMeFwQSvFZG2RK71QMd6YYRpVkiA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1667654454; a=rsa-sha256; cv=none; b=HLVVBEA2RN9/z9bE1TwZLvaeA6lbrtVdiRi78nVMHWE/ZJPMUc02tR14r4+LqJ8ZQpObek 4gfILwNa2L2AzV+jVPKtSYsxdH+X6CRt5hSBmnCvRpPvBnYzhzO1VH06y0LGj9DN+wIFdl biosGb58pqLsgPs65ZO/Rxf03V0+gViyBFuJ1332zsETvUsqkR+keAE97LJj1SUDWhnHpG c0LzT1SJtmST0xtagYBTI06LN4RMzGvDVuEJVvkR96HM4nfVFQI5HFoKM9Q82MVyEKEy7Y X8SzB4+kdoMwOj6zdduqK9/f0xsg5/k+FSa7Us80PO9npV87FS9FlSH/k3RjHg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="k27cKGe/"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.00 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gmail.com header.s=20210112 header.b="k27cKGe/"; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 0208812302 X-Spam-Score: -4.00 X-Migadu-Scanner: scn0.migadu.com X-TUID: K6cVlxmqybzi Hi, Really cool! Thank you for the heads-up. On Thu, 03 Nov 2022 at 15:44, Efraim Flashner wrote: > We should also continue working on implementing a > change in the ACL to allow requiring a K of N agreement between > different substitute servers that a build is correct^2. I am not a specialist about consensus algorithm so maybe I am totally out of topic. This K-of-N agreement looks like a Proof of Stake [1]. Well, the problem looks like =C2=ABByzantine generals problem=C2=BB [2] and= I do not know what is the state of the art. Somehow Paxos [3] algorithm and variants are often implemented to keep consistent a distributed database (which is another way to see =E2=80=9Cdifferent substitute servers=E2=80=9D= ). Maybe, it could be worth to compare the various approaches=E2=80=A6 well, i= f it has not already been done. :-) 1: 2: 3: Cheers, simon