Our website use cookies

Accept
Clear
Thank you! Your submission has been received!
Oops! Something went wrong while submitting the form.

snarkVM

A Virtual Machine for Zero-Knowledge Executions. Contribute to AleoNet/snarkVM development by creating an account on GitHub.

Core Infrastructure

VMs

Blockchain Dev

GitHub

snarkVM

zkOS

zkOS by Aleph Zero is the first ZK-privacy EVM-compatible environment able to generate zero-knowledge proofs in under a second.

Core Infrastructure

VMs

Blockchain Dev

zkOS

Cairo Programming Language

Cairo is The Rust-inspired language that makes it easy to build scalable dApps & smart contracts with the power of validity proofs.

VMs

Core Infrastructure

Blockchain Dev

Tools & Charts

Cairo Programming Language

Polygon Miden VM

Polygon Miden is a zero-knowledge rollup running on the Miden VM. Polygon Miden prioritizes ZK-friendliness over EVM compatibility; that way, it can offer features and benefits unavailable on Ethereum. It aims at builders who want to create high-throughput and private dApps. Miden is a general-purpose rollup; builders can write and deploy arbitrary smart contracts.

Core Infrastructure

VMs

Blockchain Dev

GitHub

Polygon Miden VM

Fluent

Build Ethereum dapps in your favorite programming languages. Rust, Solidity, TypeScript and more.

Core Infrastructure

VMs

Scaling

Layer 2

Ethereum

EVM & zkEVM

Fluent

SP1

SP1 is a performant, 100% open-source, contributor-friendly zero-knowledge virtual machine (zkVM) that can prove the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 democratizes access to ZKPs by allowing developers to use programmable truth with popular programming languages.

Core Infrastructure

VMs

Blockchain Dev

GitHub

SP1

Nexus

Enabling the Verifiable Internet. The Nexus zkVM is a modular, extensible, open-source, highly parallelized zkVM, written in Rust.

Core Infrastructure

VMs

Blockchain Dev

Nexus

Valida

A STARK-based VM focused on code reuse, performance, and modularity.

Core Infrastructure

VMs

Blockchain Dev

Valida

Kakarot

Kakarot is an EVM-compatible ZK-Rollup that leverages Cairo to spearhead innovations on Ethereum.

Scaling

Layer 2

Ethereum

EVM & zkEVM

VMs

Kakarot

zkLLVM

zkLLVM is a compiler from high-level programming languages into an input for provable computations protocols. It can be used to generate input for any arbitrary zero-knowledge proof system or protocol, which accepts input data in form of algebraic circuits It assumed to be used together with Placeholder proof system or any other arithmetization compatible with Placeholder proof system.

Core Infrastructure

VMs

Blockchain Dev

zkLLVM

Triton VM

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system. It defines a Turing complete Instruction Set Architecture, as well as the corresponding arithmetization of the VM. The really cool thing about Triton VM is its efficient recursive verification of the STARKs produced when running Triton VM.

Core Infrastructure

VMs

Blockchain Dev

Triton VM

RISC Zero

Get to market fast with dramatically lower development costs on the first general purpose zkVM.

Core Infrastructure

VMs

Blockchain Dev

RISC Zero

Jolt

Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.

Core Infrastructure

VMs

Blockchain Dev

GitHub

Jolt

Ola

Ola is a ZKVM-based, high-performance L2 platform that brings programmable privacy and scalability to Ethereum, helping people gain complete data ownership while shaping their own Web3 journey.

Core Infrastructure

VMs

Blockchain Dev

Scaling

Layer 2

Ethereum

Ola
There are no results with this criteria. Try changing your search.
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Ultimate Crypto Resource Guide
Top Picks for Enthusiasts and Investors

Blockchain Virtual Machines (VM)

Learn about virtual machines in the blockchain space, their role in executing smart contracts, and how they facilitate decentralized applications.

snarkVM

A Virtual Machine for Zero-Knowledge Executions. Contribute to AleoNet/snarkVM development by creating an account on GitHub.

Core Infrastructure

VMs

Blockchain Dev

GitHub

snarkVM

Nexus

Enabling the Verifiable Internet. The Nexus zkVM is a modular, extensible, open-source, highly parallelized zkVM, written in Rust.

Core Infrastructure

VMs

Blockchain Dev

Nexus

Fluent

Build Ethereum dapps in your favorite programming languages. Rust, Solidity, TypeScript and more.

Core Infrastructure

VMs

Scaling

Layer 2

Ethereum

EVM & zkEVM

Fluent

Valida

A STARK-based VM focused on code reuse, performance, and modularity.

Core Infrastructure

VMs

Blockchain Dev

Valida

Jolt

Jolt is a zkVM (zero-knowledge virtual machine) for RISC-V, built to be the simplest, fastest, and most extensible general-purpose of its kind.

Core Infrastructure

VMs

Blockchain Dev

GitHub

Jolt

Ola

Ola is a ZKVM-based, high-performance L2 platform that brings programmable privacy and scalability to Ethereum, helping people gain complete data ownership while shaping their own Web3 journey.

Core Infrastructure

VMs

Blockchain Dev

Scaling

Layer 2

Ethereum

Ola

Polygon Miden VM

Polygon Miden is a zero-knowledge rollup running on the Miden VM. Polygon Miden prioritizes ZK-friendliness over EVM compatibility; that way, it can offer features and benefits unavailable on Ethereum. It aims at builders who want to create high-throughput and private dApps. Miden is a general-purpose rollup; builders can write and deploy arbitrary smart contracts.

Core Infrastructure

VMs

Blockchain Dev

GitHub

Polygon Miden VM

All Crypto – One App

Blum

Blum is a crypto trading app which lets you buy and trade any coin on the market.

Launch Blum

All Crypto – One App

Blum
Launch Blum

All categories

Analytics & Research
Art & Culture
Basics 101
Bitcoin
Blockchain Dev
Blogs & Articles
Books
CEX
Coins
Communities & Forums
Core Infrastructure
DAOs
DEX
Docs
EVM & zkEVM
Enterprise
Ethereum
Events & Conferences
Exchanges & Swap Platforms
Extensions
Funding & Grants
GameFi
GitHub
Glossaries
Guides & Tutorials
Hardware & Devices
Jobs & Careers
Launchpads & ICOs
Layer 1
Layer 2
Layer 3
Learn Crypto
Marketplaces
Memecoins & Altcoins
Mining
Modular
NFTs
News & Insights
Notcoin
Payments
RU
Reddit
Scaling
Security & Privacy
Services
Smart Contracts
Solana
TON
TRON
Telegram Bots
Telegram Channels
Telegram Chats
Tools & Charts
Trading Bots
VMs
Wallets & Storage
X.com
YouTube
Author Photo
Valdis Zhvaginsh
Crypto Enthusiast, CWT Editor

Hello, I'm Valdis

When I began exploring cryptocurrencies, I had many questions. Over time, I've gathered some of the best resources that helped me, and I believe they can be useful to you as well.

I hope these resources assist you in starting your journey into the world of cryptocurrencies and provide useful tools for everyday tasks.

Embark on Your Crypto Journey Today!

Deposit or Buy Crypto
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me
Phase One Initiated: Expansion. For questions, email me