[wildcard] Make hy-emit untrusted: independently validated lowering to plain Go
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 Make hy-emit an untrusted producer, rather than part of the safety argument: each checked function produces ordinary Go plus a candidate correspondence certificate, and a separate translation validator checks the actual generated Go against a small, explicitly specified checked-effect IR. The c
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