Return-Path: Received: from smtp1.linuxfoundation.org (smtp1.linux-foundation.org [172.17.192.35]) by mail.linuxfoundation.org (Postfix) with ESMTPS id F1179B4A for ; Sat, 15 Dec 2018 23:39:00 +0000 (UTC) X-Greylist: whitelisted by SQLgrey-1.7.6 Received: from mail-io1-f47.google.com (mail-io1-f47.google.com [209.85.166.47]) by smtp1.linuxfoundation.org (Postfix) with ESMTPS id C0434E7 for ; Sat, 15 Dec 2018 23:38:59 +0000 (UTC) Received: by mail-io1-f47.google.com with SMTP id l14so7332773ioj.5 for ; Sat, 15 Dec 2018 15:38:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=blockstream.io; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=bbYBr92hWxXyTthYEa4Q75QXpAQjiKhWA3hC+WpJsyU=; b=Dew3dPnvFDjN3BWgzbtuIxQkRIJqvQQ2QR7SvNnVg1cZhuu0MmysKX6kS1nMF+9jAD 6O0IBPuUwerxJ3vWLBwD/OAlZzSm96CInQ09Dn2IS1GsImUXlY9ydXwDfXKopASN+opJ 91Fk2lQ+sb5e6R0xyVUjPfrzuJvtB0f5JeVcc= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=bbYBr92hWxXyTthYEa4Q75QXpAQjiKhWA3hC+WpJsyU=; b=D/vCgvehVZerq9udoOaGggXlEVupOj7f+SbN5l0vnDYaJpyHYfmuFkwqC7xbnjr4NZ uHNtCLHNVJHi/CUQctx6Jr2Ct0IUfgbgNojRXDexl/kM8wBpulJ2AyyFe8zP2lgfdzs/ KRIjaPznmZeQCpR4rWYT7pNowHSrACMlxxZrWVx/ftyiejRFj04Bs0GhBcQVoxEGhbXv EEbVfD/IJwM275KFX9JEP/pA3ULnhw+nid9deuMbu8LCmeK8ojp2K2F8TPEmg6dNKKyy 7N5eU7QV4kYUBFG2bvvHSzBUWFE5fr+QdnhYxnPm/9/EEmiEhJi26EzzZcQAi48+PE5D fP4Q== X-Gm-Message-State: AA+aEWYJezuTbFd4OCpkEb1hm7wYjjmE6iuEIeKAvREkKKSn8SZ3+ZQ9 7qEvCizYxvvvpmxibFb/ZLDdnM8N7jr8j0fd/Aga/QSY X-Google-Smtp-Source: AFSGD/UKU51MyT3A12fYcSO5uSojzyeeuzuO2D14AEdjZdc61Nhz9OPNkQDxzPgZygU//5fLe7YfIkRX25ap09KQhQw= X-Received: by 2002:a5d:9257:: with SMTP id e23mr7687508iol.112.1544917138772; Sat, 15 Dec 2018 15:38:58 -0800 (PST) MIME-Version: 1.0 References: <20181214104839.ur4lde3dzncadmr4@erisian.com.au> In-Reply-To: <20181214104839.ur4lde3dzncadmr4@erisian.com.au> From: "Russell O'Connor" Date: Sat, 15 Dec 2018 18:38:46 -0500 Message-ID: To: Anthony Towns , Bitcoin Protocol Discussion Content-Type: multipart/alternative; boundary="00000000000043b40f057d180df7" X-Spam-Status: No, score=-2.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, HTML_MESSAGE, RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.1 X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on smtp1.linux-foundation.org X-Mailman-Approved-At: Mon, 17 Dec 2018 16:09:42 +0000 Subject: Re: [bitcoin-dev] Schnorr and taproot (etc) upgrade X-BeenThere: bitcoin-dev@lists.linuxfoundation.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Bitcoin Protocol Discussion List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 15 Dec 2018 23:39:01 -0000 --00000000000043b40f057d180df7 Content-Type: text/plain; charset="UTF-8" On Fri, Dec 14, 2018 at 8:39 AM Anthony Towns via bitcoin-dev < bitcoin-dev@lists.linuxfoundation.org> wrote: > 5. if there's exactly one, non-zero item on the stack; succeed > Unless it is too much bikeshedding, I'd like to propose that to succeed the stack must be exactly empty. Script is more composable that way, removing the need for special logic to handle top-level CHECKSIG, vs mid-level CHECKSIGVERIFY. --00000000000043b40f057d180df7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Fri, Dec 14= , 2018 at 8:39 AM Anthony Towns via bitcoin-dev <bitcoin-dev@lists.linuxfoundation.org= > wrote:
=C2= =A0 =C2=A0 =C2=A0 5. if there's exactly one, non-zero item on the stack= ; succeed

Unless it is too much bikeshe= dding, I'd like to propose that to succeed the stack must be exactly em= pty.=C2=A0 Script is more composable that way, removing the need for specia= l logic to handle top-level CHECKSIG, vs mid-level CHECKSIGVERIFY.
--00000000000043b40f057d180df7--