stark
Here are 47 public repositories matching this topic...
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
-
Updated
Jun 1, 2024 - C++
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
-
Updated
Jun 1, 2024 - Cairo
STARK-based virtual machine
-
Updated
May 31, 2024 - Rust
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
-
Updated
Jun 2, 2024 - Rust
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
-
Updated
May 31, 2024 - Jupyter Notebook
Its a Simple Social engineering Tool
-
Updated
Dec 18, 2023 - JavaScript
Signatures, keys and Pedersen hash on STARK friendly elliptic curve
-
Updated
Nov 15, 2023 - TypeScript
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.
-
Updated
Jun 2, 2024 - Rust
Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)
-
Updated
Mar 7, 2024 - Rust
A library for generating zk-STARKs.
-
Updated
Jul 29, 2022 - TypeScript
STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
-
Updated
Sep 12, 2022 - Cairo
A community-maintained curated list of awesome resources of RISC Zero.
-
Updated
May 26, 2024
A community-developed re-implementation of the Starkware Stone Prover
-
Updated
Jan 26, 2024 - Rust
Building blocks of a Circle STARK verifier in Bitcoin script
-
Updated
May 31, 2024 - Rust
Ensure your design is accessible and high contrast for every type of color blindness
-
Updated
Apr 1, 2024 - HTML
Improve this page
Add a description, image, and links to the stark topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the stark topic, visit your repo's landing page and select "manage topics."