Re: [bitcoin-dev] Codex32

2023-02-22 Thread Russell O'Connor via bitcoin-dev
After some consultation, I now see that generators for all degree 2 BCH codes, such as ours, are smooth and factor into quadratic and linear components. Anyhow the upshot of all this is that you can perform a "quickcheck" verification of the codex32 strings for whatever size of verification you wa

Re: [bitcoin-dev] Codex32

2023-02-22 Thread Russell O'Connor via bitcoin-dev
After some poking around at the math, I do see that the 13 character generator (for regular sized shares) is reasonably "smooth", having roots at T{11}, S{16}, and C{24}. This means we could build a "quick check" worksheet to evaluate the string modulo (x - T) to verify a 5 bit checksum, whose ope

Re: [bitcoin-dev] Codex32

2023-02-22 Thread Russell O'Connor via bitcoin-dev
On Sun, Feb 19, 2023 at 3:13 PM David A. Harding via bitcoin-dev < bitcoin-dev@lists.linuxfoundation.org> wrote: >Codex32 allows the individual to periodically perform their >recollection on paper in a private room without electronics and use >nothing but a pen and some loookup tables

Re: [bitcoin-dev] Testing censorship resistance of bitcoin p2p network

2023-02-22 Thread Peter Todd via bitcoin-dev
On Sat, Feb 18, 2023 at 01:28:38AM +, Andrew Poelstra wrote: > On Sat, Feb 18, 2023 at 02:03:15AM +0200, Peter Todd wrote: > > On February 18, 2023 1:35:34 AM GMT+02:00, Andrew Poelstra via bitcoin-dev > > >You could try statically analyze `` to determine whether the > > >IF branch could ever

Re: [bitcoin-dev] Codex32

2023-02-22 Thread Peter Todd via bitcoin-dev
On Sun, Feb 19, 2023 at 10:12:51PM +, Andrew Poelstra via bitcoin-dev wrote: > > What really did catch my attention, but which was kind of buried in the > > project documentation, is the ability to verify the integrity of each > > share independently without using a computer. For example, if I