Ecosyste.ms: Awesome

https://github.com/starkoracles/Aero

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

cairo-lang miden proof-system stark starknet zero-knowledge

Last synced: 11 Jun 2024

https://github.com/0xEigenLabs/eigen-zkvm

A Rust zkVM with a Modular Proof System

circom plonk rust snarkjs stark zkp zkvm

Last synced: 23 May 2024

https://github.com/lambdaclass/cairo-vm

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.

blockchain compiler cryptography programming-language rust stark zkp

Last synced: 29 Apr 2024

https://github.com/risc0/risc0

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

cryptography risc-v rust stark virtual-machine zero-knowledge

Last synced: 26 Apr 2024

https://github.com/TritonVM/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.

cryptography rust stark zero-knowledge zk-starks

Last synced: 26 Apr 2024

https://github.com/stackswithans/akkorder

A Typescript port of Adam Stark's C++ implementation of the chord recognition algorithm described in the paper : Real-Time Chord Recognition For Live Performance, A. M. Stark and M. D. Plumbley.

chord-recognition chromagram music stark typescript

Last synced: 13 Apr 2024