Open Mikerah opened 4 years ago
Since we want to ensure that our protocol is correct to the best of our abilities, we will need to formally specify Katzenmint. Here's a tutorial: https://learntla.com/introduction/
Since we want to ensure that our protocol is correct to the best of our abilities, we will need to formally specify Katzenmint. Here's a tutorial: https://learntla.com/introduction/