petscheit

sepolia

the sepolia/bepolia testnet configurations.

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

eth-trie-proofs

A comprehensive proofs handler for Ethereum trie

eth-trie.rs

Rust implementation of the Modified Patricia Tree (aka Trie).

bankai

sandstorm

Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

noble-curves

Audited & minimal JS implementation of elliptic curve cryptography.

noir-trie-proofs

garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

madara

DEPRECATED in favor of https://github.com/madara-alliance/madara

llama_index

LlamaIndex is a data framework for your LLM applications

directus

The Modern Data Stack 🐰 — Directus is an instant REST+GraphQL API and intuitive no-code data collaboration app for any SQL database.

OpenChat

LLMs custom-chatbots console ⚡

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

halo2

pm

Project Management: Meeting notes and agenda items

helios

A fast, secure, and portable light client for Ethereum

consensus-specs

Ethereum Proof-of-Stake Consensus Specifications

lighthouse

Ethereum consensus client in Rust

merkle_patricia_tree

Patricia Merkle Tree implementation in Rust

circom-pairing

tofn

A threshold cryptography library in Rust

annotated-spec

Vitalik's annotated eth2 spec. Not intended to be "the" annotated spec; other documents like Ben Edgington's https://benjaminion.xyz/eth2-annotated-spec/ also exist. This one is intended to focus more on design rationale.

PolkaTools

Tools using the Polkadot API

dappcon

DappCon 2022 Workshop

proto-neural-zkp

Artificial intelligence and zero knowledge.

starlight

:zap: solidity --> zApp transpiler :zap:

ZoKrates

A toolbox for zkSNARKs on Ethereum

Nova

Nova: High-speed recursive arguments from folding schemes

lurk-rs

Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.