feltroidprime Goto Github PK

alexandria

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

bn254-cairo

builtins-hints

cairo

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

cairo-book

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

cairo-lang

cairo-lib

A comprehensive library for Cairo 🐺

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.

ctf-starknet-cc

empiric

Empiric Network is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Empiric makes data decentralized, transparent and composable.

empiric-twap

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

encodepacked-cairo

Concatenate values without padding for hash functions such as keccak.

garaga

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

hello_hints

herodotus-on-starknet

kakarot

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

lambdaworks

The library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too

lambdaworks_cairo_prover

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.

research-384bit-prime-field-arithmetic-cairo

Cairo implementation of operations modulo a prime of up to 384 bits

starknet-docs

The repo for Starknet's developer documentation. Includes contribution guidelines and the Starknet documentation supplementary style guide

starkonquest

An educational game to learn Cairo where you implement ship AIs that fight to catch as much dust as possible!

zerosync

Sync a Bitcoin full node using a STARK proof

zk-ecip-py

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