conduition

package main

import (
	"crypto/tls"
	"crypto/x509"
	"encoding/pem"
	"flag"
	"fmt"
	"os"
	"strings"

conduition

from math import factorial, log2, inf

# n-choose-k, AKA the binomial coefficient.
def binomial(n, k):
  return factorial(n) // (factorial(k) * factorial(n - k))

# Multiply two vectors of polynomial coefficients in O(n^2) time.
# Coefficients are ordered from lowest to highest degree.
def multiply_polynomials(p1, p2):
  deg1 = (len(p1) - 1)

conduition

SLH-DSA Parameter Search

A python port of the SPHINCS+ team's outdated parameter exploration script available here.

This revised version of the script uses the same math, but improves on ergonomics:

• ✅ works out of the box on any machine with a python3 runtime
• ✅ uses no dependencies
• ✅ runs faster than the default script
• ✅ provides additional CLI-driven filtering options

conduition

// input witness stack:
// <h1> <b1>
// ...
// <h64> <b64>
// <ec_signature>


OP_DUP OP_TOALTSTACK // copy EC signature to alt stack
<G> OP_CHECKSIGVERIFY // verify EC signature matches TX