Sin7Y / ola-lang
Ola is a provable language for writing smart contracts
☆42Updated 8 months ago
Alternatives and similar repositories for ola-lang:
Users that are interested in ola-lang are comparing it to the libraries listed below
- ☆33Updated last week
- A light bitcoin library with no_std support.☆16Updated 2 weeks ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆68Updated this week
- zero-knowledge execution of eBPF bytecode☆87Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆164Updated last month
- Efficient Multi-Party computation toolkit in Rust☆22Updated last year
- Nitro goes vroom and fixes everything☆18Updated this week
- ☆62Updated 10 months ago
- Ola whitepaper version-2☆17Updated last year
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆20Updated 8 months ago
- ☆100Updated this week
- ☆50Updated 7 months ago
- Resources & Documentation for Axelar Network☆60Updated this week
- ☆71Updated 10 months ago
- Rust Crates for the Manta Network Ecosystem☆82Updated last year
- ☆94Updated 4 months ago
- The schelling point for ZK applications.☆137Updated 10 months ago
- ☆52Updated last month
- ☆34Updated 2 weeks ago
- minitia with EVM☆37Updated this week
- An L1 for Move VM built on Avalanche.☆75Updated 7 months ago
- General purpose Blended Execution layer☆51Updated last week
- ☆44Updated 11 months ago
- WASM DRS - WASM Dymension Rollapp Standard☆33Updated 2 weeks ago
- ☆32Updated last year
- BEVM early white paper, the architecture has been upgraded to Super Bitcoin☆40Updated 2 months ago
- ☆122Updated this week
- Consensus layer implementation for zkSync Era☆67Updated last week
- Framework for building highly scalable RollApps☆98Updated this week
- ☆79Updated last month