[wildcard] Zero-Checker Emit: Offload Tier-0 Ownership, Freeze, and Loan Proofs to cmd/compile via CPS-Scoped Phantom Witnesses
Open-source bounty · GitHub (bounty labels) · open as of 17 Oct 2026
- Amount as listed
- —
- Platform
- GitHub (bounty labels)
- Kind of work
- Open-source bounty · Engineering
- Open to
- not stated by the platform
- Deadline
- not stated by the platform
- Status
- Open
- Checked
- 17 Oct 2026, 18:16 UTC
What the listing says
The idea, in a paragraph Instead of maintaining a growing abstract interpreter in Rust (hy-check's flat walk, scope-event replay, may share graph, and hand-curated oreign.rs tables) and then erasing all ownership information when emitting Go (hy-emit), emit ownership, freeze states, and loan windows directly into Go's
Excerpt we recorded when we checked: Etiketten: 💎 Bounty, 💎 Bounty, wildcard
Open on GitHub (bounty labels) ↗
The work is offered, scoped and paid by GitHub (bounty labels) — not by GOAT Market. We record what they publish and link to it. Claiming, delivering and getting paid all happen on their site, under their terms.
More open on GitHub (bounty labels)
- [Feature] Implement Basic Anti-Cheat Protection $10,000
- [ Bounty $9k ] [ SDK ] Fix encoding.ts decodeParameter doesn't handle dynamic types — back... $9,000
- [ Bounty $9k ] [ Solidity ] Add gas sponsorship relay for agent transactions — security cr... $9,000
- [ Bounty $9k ] [ API ] Fix agents.py doesn't validate endpoint URL format — testnet findin... $9,000
- [ Bounty $9k ] [ SDK ] Fix rpc.ts doesn't handle JSON-RPC batch response ordering — backwa... $9,000