Open Issues Need Help
View All on GitHub help wanted good first issue
Chamath-Adithya/depin-mesh-protocol Chamath-Adithya/depin-mesh-protocol A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Open project →
0
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
help wanted good first issue
Chamath-Adithya/depin-mesh-protocol Chamath-Adithya/depin-mesh-protocol A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Open project →
0
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
help wanted good first issue
Chamath-Adithya/depin-mesh-protocol Chamath-Adithya/depin-mesh-protocol A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.
Open project →
0
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