Awesome Open Source

Programming Languages

Search results for zero knowledge stark

zero-knowledge x

9 search results found

Risc0 ⭐ 1,231

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Kakarot ⭐ 787

ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.

Miden Vm ⭐ 578

STARK-based virtual machine

Ministark ⭐ 296

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Triton Vm ⭐ 200

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.

Efficient pairing library, written in Cairo 🐺.

Genstark ⭐ 114

A library for generating zk-STARKs.

Stark Snark Recursive Proofs ⭐ 94

STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

Pebble Stark ⭐ 58

A community-developed re-implementation of the Starkware Stone Prover

STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.

A blazingly fast sdk for running proofs on the browser... and verifying them on-chain

Airassembly ⭐ 15

Low-level language for encoding AIR of computations

Winterfell ⭐ 6

A fork of the novifinancial/winterfell STARK library.

Related Searches

Cryptography Zero Knowledge (59)

Zero Knowledge Zk Snarks (52)

Rust Zero Knowledge (33)

Ethereum Zero Knowledge (26)

C Plus Plus Zero Knowledge (13)

Rust Stark (11)

Elliptic Curves Zero Knowledge (9)

Bitcoin Zero Knowledge (9)

Cryptography Stark (8)

Typescript Zero Knowledge (8)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.