feltroidprime

feltroid Prime's repositories

garaga

Efficient pairing and pairing based SNARKS verification library, written in Cairo 🐺.

Language:CairoMIT400

zk-ecip-py

PoC of Zero Knowledge Proofs of Elliptic Curve Inner Products from Principal Divisors and Weil Reciprocity paper

Language:Python400

empiric-twap

A starknet contract to store historical values from empiric.network oracle in a rolling window and compute a twap over it

Language:Cairo3 10

encodePacked-cairo

Concatenate values without padding for hash functions such as keccak.

Language:CairoMIT1 10

STARK Cairo prover using lambdaworks. 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. Cairo and similar proof systems can be used to provide scalability to blockchains.

Language:RustApache-2.0100

alexandria

Community maintained Cairo libraries and set of well maintained, optimised and secure components.

Language:CairoMIT000

builtins-hints

Language:Python010

cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Language:RustApache-2.0000

cairo-book

The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.

Language:CairoMIT000

cairo-lang

Language:PythonNOASSERTION000

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.

Language:RustApache-2.0000