This is a fascinating project. The hardest part of writing crypto software will always be avoiding the little mistakes, and every time we can bottle the underst

This is a fascinating project. The hardest part of writing crypto software will always be avoiding the little mistakes, and every time we can bottle the understanding needed to detect some of them, we free cognitive labor for finding others. This is a necessary part of the future of crypto development. I tip my hat to the Wycheproof team!