Chamath-Adithya

Chamath-Adithya/depin-mesh-protocol

A formal protocol for hardware-rooted physical claim derivation, causal invariant verification, and provable physical work.

0 stars 0 forks 0 watchers Rust Apache License 2.0
cryptography depin embedded esp32 formal-verification good-first-issue hacktoberfest ietf-rats iot protocol remote-attestation rust
View on GitHub
3 Open Issues Need Help Last updated: Sep 5, 2026

Open Issues Need Help

View All on GitHub
[Good First Issue]: Setup Protobuf Code Generation via buf and prost 14 days ago
help wanted good first issue
Chamath-Adithya/depin-mesh-protocol
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
[Good First Issue]: Implement Q64.64 Saturating Addition and Subtraction 14 days ago
help wanted good first issue
Chamath-Adithya/depin-mesh-protocol
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
[Good First Issue]: Enrich CORDIC Transcendental Formulations in RFC-0001 14 days ago
help wanted good first issue
Chamath-Adithya/depin-mesh-protocol
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