Verified Commit d2cffd82 authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Verifpal 0.23.0

parent 55409c32
Pipeline #857 canceled with stages
in 2 minutes and 30 seconds
Verifpal 0.22.0 provides native support for the new Apple Silicon platform.
Verifpal 0.23.0 introduces equivalence queries.
For many protocols, it could be useful to check whether shared secrets derived between Alice and Bob are equivalent in all completed executions of the protocol. Equivalence queries check whether any protocol scenario can be derived such that the given values are not equivalent to one another.
For example, one could use the following query to check if shared secrets calculated by Alice and Bob will always be equivalent in all protocol executions:
equivalence? ss_a, ss_b
......@@ -20,7 +20,7 @@ import (
const version = "0.22.0"
const version = "0.23.0"
var rootCmd = &cobra.Command{
Use: "verifpal",
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment