TK421/proofs-of-concepts archive