Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix variable names in the invariant description (#573)
Previously the variable names referred to `public` and `secret` which do not exist. Update them to `verifying_key` and `secret_key`.
- Loading branch information