Noir is a domain specific language for zero knowledge proofs

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Spartan: High-speed zkSNARKs without trusted setup

Enarx: Confidential Computing with WebAssembly

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Performance and security acceleration for zkVMs.

RISC-V ELF interpreter in cairo

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

Secure SGX Sidecar for CosmWasm

RISC0 project for verifying a batch of ed25519 signatures