Wasabi Research Club #22 - Discrete Log Contract Specification with Nadav Kohen & Benthecarman