Alternatives and similar repositories for ola-lang

Users that are interested in ola-lang are comparing it to the libraries listed below

• Sin7Y / olavm
  A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy
  ☆164Updated 5 months ago
• Consensys / linea-tracer
  Component in Linea's stack which constructs execution traces, large matrices assembled from data extracted from the execution of an EVM c…
  ☆51Updated this week
• availproject / op-evm
  ☆73Updated last year
• EspressoSystems / nitro-espresso-integration
  Nitro goes vroom and fixes everything
  ☆24Updated this week
• axelarnetwork / axelar-docs
  Resources & Documentation for Axelar Network
  ☆62Updated this week
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆77Updated this week
• availproject / data-availability
  ☆95Updated 8 months ago
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆145Updated this week
• matter-labs / eravm-spec
  EraVM specification.
  ☆17Updated this week
• fluentlabs-xyz / fluent
  General purpose Blended Execution layer
  ☆54Updated last week
• axelarnetwork / axelar-local-dev
  A local developer environment for building your cross-chain dapps.
  ☆50Updated 4 months ago
• primus-labs / emp-rust
  Efficient Multi-Party computation toolkit in Rust
  ☆22Updated last year
• Eclipse-Laboratories-Inc / zk-bpf
  zero-knowledge execution of eBPF bytecode
  ☆90Updated 2 years ago
• dymensionxyz / dymension-rdk
  Framework for building highly scalable RollApps
  ☆98Updated last week
• movementlabsxyz / hyperlane-monorepo
  The home for Hyperlane core contracts, sdk packages, and other infrastructure
  ☆20Updated last year
• EspressoSystems / espresso-network
  ☆142Updated this week
• ProvableHQ / python-sdk
  ☆45Updated last week
• EspressoSystems / espresso-polygon-zkevm-demo
  ☆39Updated last week
• 0xMiden / miden-node
  Reference implementation of the node for the Miden blockchain
  ☆71Updated this week
• megaeth-labs / evmone-compiler
  EVM ahead-of-time compiler based on the fast evmone interpreter
  ☆117Updated 6 months ago
• Layr-Labs / eigenlayer-middleware
  ☆110Updated this week
• dymensionxyz / dymint
  Sequencing Engine for Dymension RollApps
  ☆102Updated last month
• succinctlabs / succinctx
  The schelling point for ZK applications.
  ☆141Updated last year
• Manta-Network / manta-rs
  Rust Crates for the Manta Network Ecosystem
  ☆80Updated last year
• matter-labs / era-zkevm_test_harness
  Compare in-circuit and out-of-circuit VMs
  ☆60Updated 11 months ago
• polymerdao / plonky2-solidity-verifier
  ☆78Updated 5 months ago
• matter-labs / era-compiler-llvm
  ZKsync fork of the LLVM framework.
  ☆35Updated this week
• matter-labs / era-zkevm_circuits
  ☆61Updated 11 months ago
• ProvableHQ / aleo-js
  ☆22Updated last year
• movementlabsxyz / M1
  An L1 for Move VM built on Avalanche.
  ☆75Updated last year