Lab 14 of 15 · rank P1
Open Examples → Policy board. The inputs s0, s1, s2 are the first three signer slots (1 = that signer signed). Wire allow so it is 1 exactly when at least two of them are 1. Leave every other pin as it is: the pin order is the wallet's input word. Test it in the policy simulator, then etch and register the program to use it at /multisig.
Turn logic into a permanent, verifiable part.
Three ANDs for the pairs (s0·s1, s0·s2, s1·s2) and two ORs to combine them.
Par is 12 NAND. Using more still passes here. To etch it as a verified die that mines, keep it within 24 NAND-equivalent (a LATCH counts 2): the verifier refuses bigger designs, so padding can't buy mining weight.
Turn this circuit into a verified die you own. It burns 0 NAND. Get materials at the Foundry.