Stars
12
stars
written in Rust
Clear filter
🌴 Empowering everyone to build reliable and efficient smart contracts.
Rust full node implementation of the Fuel v2 protocol.
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
A Decentralized Operating System for ZK Applications
A Virtual Machine for Zero-Knowledge Executions
effizzieng / snarkOS-rated1
Forked from AleoNet/snarkOSA Decentralized Operating System for ZK Applications- my forked
effizzieng / leo-rated
Forked from ProvableHQ/leo🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
effizzieng / fuel-Forked
Forked from FuelLabs/fuel-coreRust full node implementation of the Fuel v2 protocol.
effizzieng / snarkVM-aleo
Forked from AleoNet/snarkVMA Virtual Machine for Zero-Knowledge Executions | repo
effizzieng / zksync-era-rated
Forked from matter-labs/zksync-erazkSync era- my zksyc repo