Skip to content
Menu

earn-kontrol-audit

Uncategorised

Researched
Development
ShippingLast ship 2h ago
Token market
No token
Token
None tracked
What HEY checked
Shipping.
Shipped something meaningful in the last 7 days.
No token.
HEY tracks no token for this project.
Market figures are context only and never change activity status. Methodology

Kontrol formal verification suite for the EARN protocol (Robinhood Chain) — permissionless fund-drain properties. Fork-to-proof via state dumps.

View latest shipFollowOpen on X
LinksGitHubSources

Latest ship

Active development: 12 commits in the last 90 days across 2 contributors

Code ActivitySource linked

1 active day(s) in artsbykriss/earn-kontrol-audit.

View evidence ↗

Builder activity

Meaningful, source-backed updates per week. Commits are aggregated, not counted individually.

Research notes

Written by HEY researchers and reviewed before publishing. Commentary with sources — not the project's own claims, and not evidence of shipping.

No published notes on earn-kontrol-audit yet.

    Know something about earn-kontrol-audit? Sign in with GitHub to submit a research note. Notes are reviewed before they appear here.

    Sources