auxiliary witness for pairing paper

MIRACL Core

Starknet Improvement Proposal repository

Cryptographic Addition Chain Generation in Go

A local testnet for Starknet... in Rust

Pairing cryptography library in Rust

Phase 1 of a multi-party trusted setup ceremony for zk-SNARKs

Hanji generates docs for your Cairo library

Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo

Rust JSON-RPC library on top of async/await

Session keys by account abstraction

GitHub Action for continuous benchmarking to keep performance

⚡ Dynamically generated stats for your github readmes

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Subcommand to show result of macro expansion

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

Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀

Infrastructure related stuff for Madara.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

A suite of development tools and a WASM-Runtime environment for Cairo. All based on WebAssembly. By Caironautes, for Caironautes.

₿ A guide (for humans!) to cryto-currencies and their algos.

Complete Ethereum library and wallet implementation in JavaScript.

A STARK prover and verifier for arbitrary computations

A Starknet full node written in Rust

GPT4All: Chat with Local LLMs on Any Device

Interact with your documents using the power of GPT, 100% privately, no data leaks