Anvil

Compiler for Solana
Anchor → optimized Solana runtimes

[Anvil @anvil_sol]

1/ Introducing Anvil ⚒️

A compiler that converts Anchor smart contracts → optimized runtimes (Pinocchio, Quasar, Native)

Write in Anchor. Deploy optimized.

(see demo below 👇)

[Anvil @anvil_sol]

Believe in @superteam and @SuperteamIN

[Aditya @adityashetts]

superteam is here to be your first believer

locally rooted teams are best placed to identify promising (but unproven) founders and builders

and will support you with resources, raising first capital, and community (membership)

just show up with your best pow!

[Anvil @anvil_sol]

cc: @colosseum

[Anvil @anvil_sol]

Pyth + Switchboard support now working in Anvil⚒️

Anchor oracle integrations can now transpile into Pinocchio with hand-rolled low-level reads instead of depending on heavyweight oracle crates in the output.

compiler infra for Solana is getting really interesting.

[Pratik Kale @PratikKale26]

12/12 Metaplex Token Metadata fixtures + 10/10 MPL Core fixtures now passing through @anvil_sol ⚒️

real Anchor programs → transpiled to Pinocchio → cargo-build clean → differential verified where applicable

slowly building a real compatibility layer for Solana runtimes.

[Pratik Kale @PratikKale26]

Just deployed 7 Anchor programs on Solana — transpiled to Pinocchio via @anvil_sol ⚒️

Counter, Vault, AMM, Token-2022, Escrow, NFT Minter (Metaplex), SPL Token Minter.

1,777 KB → 281 KB
84.2% smaller binaries.

And most importantly:
byte-equal verified where state was compared.

write once in Anchor, deploy optimized everywhere.

[Anvil @anvil_sol]

@raunit yes we had it in experimental mode but as its very early stage and because of hackthon deadline we chose to keep the scope tight,

soon will be added back

[Anvil @anvil_sol]

Just dropped the Anvil ⚒️ demo video

Anchor → Pinocchio compiler for Solana smart contracts.

- transpile real programs
- generate full buildable Rust projects
- run byte-equal differential verification
- reduce compute without rewrites

write once in Anchor, deploy optimized everywhere.

[Anvil @anvil_sol]

@Predatorweb3 ❤️🙌

[Anvil @anvil_sol]

@gurshabad90 🦁

[Anvil @anvil_sol]

@apurvajain24 Yes,

live on: https://t.co/Rbyx3AQ1DW

[Anvil @anvil_sol]

@priyansh_ptl18 Indeed

[Anvil @anvil_sol]

Just dropped the Anvil ⚒️ demo video

Anchor → Pinocchio compiler for Solana smart contracts.

- transpile real programs
- generate full buildable Rust projects
- run byte-equal differential verification
- reduce compute without rewrites

write once in Anchor, deploy optimized everywhere.

[Anvil @anvil_sol]

cc: @SuperteamIN @solana @solana_devs @toly @0x_febo @SolPlay_jonas @jacobvcreech

[Anvil @anvil_sol]

let's go optimised 💪

[Pratik Kale @PratikKale26]

https://t.co/9kvJp7dwNq

[Anvil @anvil_sol]

drop your best anchor program repos 💪

[Pratik Kale @PratikKale26]

stress-tested @anvil_sol on real-world anchor repos today (incl. @4rjunc)

not toy examples — actual production code
→ fixed impl edge cases
→ handled different coding styles
→ improved coverage across programs

now hitting 90-92%+ correct pinocchio output

moving from:
“works on examples” → “works on real contracts”

[Anvil @anvil_sol]

cc: @colosseum @SuperteamIN @solana @superteam

[Anvil @anvil_sol]

Colosseum Frontier Week2 Update

[Anvil @anvil_sol]

@jkdotsol 🫡

[Anvil @anvil_sol]

1/ Introducing Anvil ⚒️

A compiler that converts Anchor smart contracts → optimized runtimes (Pinocchio, Quasar, Native)

Write in Anchor. Deploy optimized.

(see demo below 👇)

[Anvil @anvil_sol]

7/ Try it here:

https://t.co/Uueg5NCx6I

If you're building on Solana, drop your contract below or DM.

Would love to test this on real programs 👀
@solana_devs @solana @SuperteamIN @toly

[Anvil @anvil_sol]

6/ V1 is live today.

Supports:
✅ Anchor → Pinocchio / Quasar / Native
⚠️ Single-file programs for now (multi-file next)