Stars
6
stars
written in Rust
Clear filter
🌴 Empowering everyone to build reliable and efficient smart contracts.
Elmer70849149 / valida
Forked from valida-xyz/validaA STARK-based VM focused on code reuse, performance, and modularity
Elmer70849149 / helyim
Forked from helyim/helyimseaweedfs implemented in pure Rust
relda88 / leo-12
Forked from touchasky/leo-12🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Sazkore6 / zksync
Forked from AugustiusLy/zksynczkSync: trustless scaling and privacy engine for Ethereum