Expand description
This crate provides tools for protocol authors to write protocol specifications for hax.
It contains a collection traits describing state machine behaviour, as well as a library of abstract primitive cryptographic operations for use in protocol specifications.
Modules§
- crypto
- This module defines a cryptographic abstraction layer for use in hax protocol specifications.
- state_
machine - This module provides types and traits for implementing a protocol state machine.
Enums§
- Protocol
Error - A protocol error type.