This BIP is expired according to BIP-0002 expiration rules.
It is linking an ZKCP implementation (pay-to-sudoku). But ZKCP is broken.
It is not mentioned that PTLC’s are superior for many applications.
The HTLC’s are discussed and explained in the lightning-rfc documents, and they are subtly different.
It is not explained how an optimal construction can be achieved using miniscript.
Tagging @ebfull