Sin7Y / ola-langLinks
Ola is a provable language for writing smart contracts
☆47Updated 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 STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Updated 11 months ago
- Efficient Multi-Party computation toolkit in Rust☆23Updated 2 years ago
- ☆70Updated last week
- The schelling point for ZK applications.☆144Updated last year
- ☆73Updated last year
- Nitro goes vroom and fixes everything☆32Updated this week
- Consensus layer implementation for zkSync Era☆71Updated 6 months ago
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆84Updated this week
- ☆94Updated last year
- Resources & Documentation for Axelar Network☆67Updated 3 weeks ago
- EraVM specification.☆18Updated this week
- ☆70Updated last year
- zero-knowledge execution of eBPF bytecode☆94Updated 2 years ago
- ☆80Updated 11 months ago
- Created for Web3 builders☆32Updated 2 years ago
- ☆55Updated 11 months ago
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆153Updated last week
- ☆161Updated 11 months ago
- Binary storage trie☆76Updated last year
- A local developer environment for building your cross-chain dapps.☆52Updated 2 months ago
- General purpose Blended Execution layer☆56Updated 2 weeks ago
- ☆115Updated 3 weeks ago
- Hashicorp Vault plugin for authenticating Trusted Execution Environments (TEE) like SGX enclaves.☆16Updated 2 weeks ago
- Reference implementation of the node for the Miden blockchain☆86Updated this week
- ☆22Updated 8 months ago
- ☆182Updated this week
- ☆22Updated 2 years ago
- Compare in-circuit and out-of-circuit VMs☆60Updated last year
- ☆50Updated last year
- Shared front-end code of the ZKsync compilers.☆21Updated 4 months ago