Sin7Y / ola-lang
Ola is a provable language for writing smart contracts
☆42Updated 6 months ago
Alternatives and similar repositories for ola-lang:
Users that are interested in ola-lang are comparing it to the libraries listed below
- Efficient Multi-Party computation toolkit in Rust☆21Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 5 months ago
- A light bitcoin library with no_std support.☆16Updated 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☆63Updated this week
- ☆32Updated last month
- zero-knowledge execution of eBPF bytecode☆84Updated last year
- A local developer environment for building your cross-chain dapps.☆45Updated 5 months ago
- ☆27Updated 2 weeks ago
- A performant, type-1 zkEVM written in Rust & SP1.☆128Updated 3 months ago
- Resources & Documentation for Axelar Network☆58Updated this week
- ☆62Updated 8 months ago
- The schelling point for ZK applications.☆135Updated 8 months ago
- Learn how to permissionlessly pass messages & tokens to and from your chain☆57Updated this week
- ☆71Updated 8 months ago
- ☆43Updated 9 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 5 months ago
- Nitro goes vroom and fixes everything☆15Updated this week
- ☆33Updated this week
- ☆52Updated last year
- ☆151Updated this week
- A storage system inspired by Besu using Starknet Merkle Trees☆60Updated last month
- ☆32Updated 10 months ago
- ☆93Updated this week
- Ola whitepaper version-2☆17Updated last year
- BEVM early white paper, the architecture has been upgraded to Super Bitcoin☆38Updated this week
- Consensus layer implementation for zkSync Era☆65Updated this week
- ☆20Updated last year
- minitia with EVM☆33Updated this week