Zig projects for Starknet Infrastructure

[AbdelStark]

Zig projects for Starknet Infrastructure

We are exploring using Zig to increase diversity and resilience of Starknet ecosystem. A first experimentation is ongoing with the implementation of the Cairo VM in Zig.
This discussion is about sharing ideas to extend Zig usage in Starknet ecosystem, especially on the infrastructure.

Potential projects

Cairo VM in Zig

Implement a Cairo VM in Zig. Project started with a WIP implementation.
This project would be about taking ownership of the Cairo VM in Zig and contribute to it on meaningful tracks, to help pushing it to production ready state.

Resources:

• Cairo Whitepaper
• OG Cairo VM in Python
• Cairo VM in Rust
• Cairo VM in Go

Starknet SDK in Zig

Build an SDK to interact with Starknet. The SDK would have for instance those features:

• Sequencer gateway client
• Full node JSON-RPC API client
• Smart contract deployment
• Signer for using IAccount account contracts
• Strongly-typed smart contract binding code generation from ABI

Resources:

• Starknet SDK in Rust
• Starknet SDK in Javascript

Starknet Light Client using storage proofs in Zig

Build a Starknet light client in Zig, leveraging storage proofs to reduce trust assumptions over untrusted RPC nodes.

Resources:

• Beerus Starknet Light Client using storage proofs in Rust

Starknet Full Node in Zig

Build a Starknet Full Node client in Zig.

Resources:

• Papyrus Starknet Full Node in Rust
• Pathfinder Starknet Full Node in Rust
• Juno Starknet Full Node in Go
• Deoxys Starknet Full node in Rust

Starknet sequencer in Zig

Build a Starknet sequencer in Zig.

Resources:

• Madara Starknet Sequencer, built using Substrate