rhdl_ed25519_fast_core/
lib.rs

1#![doc = include_str!("../README.md")]
2#![warn(missing_docs)]
3// RHDL lowers fixed-bound range loops directly into hardware. Rewriting them
4// as host iterators, as Clippy suggests, would leave the synthesizable subset.
5#![allow(clippy::needless_range_loop)]
6// Explicit hardware expressions are kept uniform inside `#[kernel]` code.
7#![allow(clippy::assign_op_pattern, clippy::unnecessary_cast)]
8
9pub mod core;
10pub mod equation;
11pub mod export;
12pub mod field_parallel;
13pub mod multicomb;
14pub mod multicomb_table;
15pub mod parallel;
16pub mod point_compress;
17pub mod point_decode;
18pub mod protocol;
19pub mod result_arbiter;
20pub mod scalar;
21pub mod scalar_parallel;
22pub mod sha512_parallel;
23pub mod sign;
24#[cfg(feature = "scalable")]
25pub mod scalable_fast64;
26pub mod simulation;
27#[cfg(feature = "tuner")]
28pub mod tuning;
29pub mod variable_base;
30pub mod verify;
31
32/// Illustrated introduction to Ed25519, the parallel datapath, and FPGA resources.
33pub mod visual_guide {
34    #![doc = include_str!("../docs/visual-guide.md")]
35}
36
37/// Detailed hardware boundaries, scheduling, representation, and integration.
38pub mod architecture {
39    #![doc = include_str!("../docs/architecture.md")]
40}
41
42/// Evidence ledger separating simulation, mapping, timing, and hardware claims.
43pub mod validation {
44    #![doc = include_str!("../docs/validation.md")]
45}
46
47/// Beginner-oriented optimization workflow, resource budgeting, and experiments.
48pub mod optimization {
49    #![doc = include_str!("../docs/optimization.md")]
50}
51
52/// Curated primary-source reading library with implementation-oriented notes.
53pub mod papers {
54    #![doc = include_str!("../docs/papers.md")]
55}
56
57pub use core::Fast64Core;
58pub use protocol::{CoreResult, Fast64CoreIn, Fast64CoreOut, SignRequest, VerifyRequest, Words512};
59pub use scalar::ScalarWords;
60
61/// Fixed number of bytes in the specialized message path.
62pub const MESSAGE_BYTES: usize = 64;
63/// Fixed number of bits in the specialized message path.
64pub const MESSAGE_BITS: usize = MESSAGE_BYTES * 8;
65/// Default public tag width retained by the black-box protocol.
66pub const TAG_BITS: usize = 16;
rhdl_ed25519_fast_core/lib.rs

rhdl_ed25519_fast_core/
lib.rs
