A new specification language for crypto primitives in Rust.
This is the predecessor of https://github.com/HACS-workshop/hacspec.
Documentation and API reference can be found here.
This repo has a set of examples written in hacspec.
This repository was archived by the owner on Mar 31, 2020. It is now read-only.
hacspec/hacspec-rust
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|