Open Issues Need Help
View All on GitHub [Good First Issue]: Setup Protobuf Code Generation via buf and prost about 2 months ago
help wanted good first issue
A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Rust
#cryptography#depin#embedded#esp32#formal-verification#good-first-issue#hacktoberfest#ietf-rats#iot#protocol#remote-attestation#rust
[Good First Issue]: Implement Q64.64 Saturating Addition and Subtraction about 2 months ago
help wanted good first issue
A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Rust
#cryptography#depin#embedded#esp32#formal-verification#good-first-issue#hacktoberfest#ietf-rats#iot#protocol#remote-attestation#rust
[Good First Issue]: Enrich CORDIC Transcendental Formulations in RFC-0001 about 2 months ago
help wanted good first issue
A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Rust
#cryptography#depin#embedded#esp32#formal-verification#good-first-issue#hacktoberfest#ietf-rats#iot#protocol#remote-attestation#rust