zmalatrax

A ZK-VM for the Brainfuck language, based on Stwo

A EVM block proving backend in Cairo

FHEVM, a full-stack framework for integrating Fully Homomorphic Encryption (FHE) with blockchain applications

Kleros arbitration protocol version 2

Executing Noir circuits on Kotlin Multiplatform (KMP) through Gobley

hardhat deployment plugin

Kakarot zkEVM - rewrite in the latest version of Cairo

A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.

Hyli is a confidential yet verifiable financial settlement infrastructure for European regulated actors. It enables regulated institutions to settle, tokenize, and comply without exposing sensitive data.

A dapp SDK for the FHEVM protocol.

EVM interpreter written in Cairo, a sort of ZK-EVM emulator, leveraging STARK proof system.

State transition function for Fluent Blockchain based on succinctlabs/rsp and compiled to SP-1 zkVM

Garaga for CairoZero