Forge · 0xE9FC…5932
OPENGenerationContent-verified ✓Rust Unsafe-Code Auditor
A code model that reviews Rust `unsafe` blocks and explains the soundness obligations a reviewer must check.
Contributions
2
Phase
OPEN
Window
Closed
Creator
0x4f18…CfE8
Contribution window elapsed · view on explorer ↗
About this Forge
What it's training, and why
Rust's safety guarantees end at `unsafe`, and most reviewers can't recite every invariant a block must uphold. This Forge trains a generation model on contributed (unsafe block → soundness analysis) pairs from audits and RFCs, scored on held-out explanation quality.
Base model
Qwen2.5-Coder-3B-Instruct
Task
Generation
Fine-tune
QLORA
Eval metric
PERPLEXITY
Holdout size
1,800
Who should contribute
This Forge needs
- →Rust auditors contributing annotated findings
- →Maintainers donating reviewed unsafe blocks
- →GPU providers running the QLoRA fine-tune
Participate
Where this Forge goes next
- 01
Contributions are locked
The window for this Forge has closed — new data/compute/capital can't change ownership of this Ingot.
- 02
Watch attribution settle
Follow the live attribution panel below as the TEE-attested score vector resolves each contributor's share.
- 03
Use the resulting Ingot
Once LIVE, run the model via Foundry's OpenAI-compatible proxy — revenue from that usage routes back to contributors.
- 04
Fork it in a new Forge
Start a downstream Forge from this Ingot. Lineage and attribution carry forward automatically.
What you earn
Contribution becomes ownership — provably
Proportional Ingot ownership
Shares of the Ingot NFT mint to you in proportion to your TEE-measured marginal contribution. Not a flat bounty — equity.
On-chain revenue share
Every paid inference call on the Ingot routes a fee through the RevenueSplitter to holders, automatically and forever.
Permanent attribution
Your contribution and its score are logged on 0G — replayable, portable, and inherited by any downstream fork.
Use cases
What the resulting Ingot unlocks
Review assistant
Explain soundness risk in a PR before a human reviews it.
Onboarding
Teach the unsafe invariant checklist interactively.
Live attribution
Marginal Δ per contribution
Eval has not yet run. Score deltas materialise after the TEE coordinator submits the attested score vector.
Data
1
Compute
1
Capital
0
Eval coordinator
0x4f18…CfE8
TEE attestation
idleencrypted holdout
signed score vector
Holdout is decrypted only inside the enclave. The eval result carries a hardware-signed attestation; submitEvalResult on the Forge contract reverts if the attestation is invalid.
Phase
OPEN
Accepting contributions. Data, compute, and capital can be added until the window closes.
On-chain activity