Sin7Y / ola-langLinks
Ola is a provable language for writing smart contracts
☆44Updated 11 months ago
Alternatives and similar repositories for ola-lang
Users that are interested in ola-lang are comparing it to the libraries listed below
Sorting:
- Efficient Multi-Party computation toolkit in Rust☆22Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated 4 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆75Updated this week
- zero-knowledge execution of eBPF bytecode☆90Updated last year
- ☆63Updated last year
- Nitro goes vroom and fixes everything☆20Updated this week
- The schelling point for ZK applications.☆138Updated last year
- ☆37Updated 3 months ago
- A light bitcoin library with no_std support.☆16Updated 3 months ago
- ☆35Updated this week
- Ola whitepaper version-2☆17Updated 2 years ago
- A storage system inspired by Besu using Starknet Merkle Trees☆61Updated 2 months ago
- Resources & Documentation for Axelar Network☆62Updated last week
- 🐺 Starknet Rust types 🦀☆70Updated last week
- ☆94Updated 7 months ago
- ☆50Updated 10 months ago
- ☆23Updated last year
- ☆109Updated 2 weeks ago
- Consensus layer implementation for zkSync Era☆70Updated last week
- ☆173Updated last month
- ☆28Updated this week
- Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…☆49Updated this week
- ☆132Updated this week
- A local developer environment for building your cross-chain dapps.☆49Updated 2 months ago
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆20Updated 10 months ago
- Specification of P2P protocol for StarkNet nodes☆49Updated this week
- ☆20Updated last year
- workshop☆15Updated 2 years ago
- Reference implementation of the node for the Miden blockchain☆66Updated this week
- EraVM specification.☆17Updated this week