Sin7Y / ola-langLinks
Ola is a provable language for writing smart contracts
☆44Updated last year
Alternatives and similar repositories for ola-lang
Users that are interested in ola-lang are comparing it to the libraries listed below
Sorting:
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆75Updated last week
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 5 months ago
- Efficient Multi-Party computation toolkit in Rust☆22Updated last year
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆144Updated this week
- EVM ahead-of-time compiler based on the fast evmone interpreter☆118Updated 5 months ago
- Nitro goes vroom and fixes everything☆21Updated this week
- An L1 for Move VM built on Avalanche.☆75Updated 11 months ago
- zero-knowledge execution of eBPF bytecode☆90Updated 2 years ago
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆20Updated 11 months ago
- ☆138Updated this week
- Shared front-end code of the ZKsync compilers.☆22Updated last week
- ☆43Updated last year
- A monorepo containing all the custom components of the Astria network, a decentralized system that replaces traditional sequencers, offer…☆130Updated 2 weeks ago
- General purpose Blended Execution layer☆54Updated this week
- Rust Crates for the Manta Network Ecosystem☆82Updated last year
- ☆70Updated 11 months ago
- Consensus layer implementation for zkSync Era☆71Updated this week
- ☆37Updated 3 months ago
- Framework for building highly scalable RollApps☆99Updated 2 months ago
- The schelling point for ZK applications.☆141Updated last year
- ☆94Updated 8 months ago
- ZKsync fork of the LLVM framework.☆35Updated this week
- Reference implementation of the node for the Miden blockchain☆67Updated this week
- Collection of tests for ZKsync compilers.☆20Updated last week
- ☆18Updated 4 months ago
- EraVM specification.☆17Updated this week
- Binary storage trie☆75Updated 7 months ago
- ☆23Updated last year
- ☆32Updated last year
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 11 months ago