From f2e2a7cca1d95d117acaaa268a1002926802647f Mon Sep 17 00:00:00 2001 From: Marko Bencun Date: Fri, 13 Jan 2023 23:02:14 +0100 Subject: [PATCH] index.html: add the requirement that n <= 20 in multisig The maximum number of pubkeys allowed in a multisig are 20 as per consensus rules. The impementation performs this check, but the requirement was not documented in the table. --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index b0b486c..ee51302 100644 --- a/index.html +++ b/index.html @@ -398,7 +398,7 @@

Correctness properties

or_d(X,Z)X is Bdu; Z is BBz=zXzZ; o=oXzZ; d=dZ; u=uZ or_i(X,Z)both are B, K, or Vsame as X/Zo=zXzZ; u=uXuZ; d=dX or dZ thresh(k,X1,...,Xn)1 ≤ k ≤ n; X1 is Bdu; others are WduBz=all are z; o=all are z except one is o; d; u -multi(k,key1,...,keyn)1 ≤ k ≤ nBn; d; u +multi(k,key1,...,keyn)1 ≤ k ≤ n ≤ 20Bn; d; u a:XX is BWd=dX; u=uX s:XX is BoWd=dX; u=uX c:XX is KBo=oX; n=nX; d=dX; u