jules

jules's Stars

• ziglang/zig

  General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

  Language:Zig35.1k37011.6k2.6k

• wez/wezterm

  A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

  Language:Rust18.1k883.6k807

• matter-labs/awesome-zero-knowledge-proofs

  A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  5.3k18513844

• geohot/fromthetransistor

  From the Transistor to the Web Browser, a rough outline for a 12 week course

  5.3k20824439

• zama-ai/concrete

  Concrete: TFHE Compiler that converts python programs into FHE equivalent

  Language:C++1.3k2482146

• succinctlabs/sp1

  The fastest, most feature-complete zkVM for developers.

  Language:Rust1k36121334

• kkrt-labs/kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  Language:Cairo99823616307

• Ruddle/Fomos

  Experimental OS, built with rust

  Language:Rust96210425

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++849401.3k265

• akula-bft/akula

  Fastest Ethereum archive node ever built

  Language:Rust795270128

• lambdaclass/lambdaworks

  lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

  Language:Rust6259238141

• Plonky3/Plonky3

  A toolkit for polynomial IOPs (PIOPs)

  Language:Rust4833374190

• matter-labs/era-boojum

  Boojum, the scariest SNARK implementation.

  Language:Rust30223885

• dalek-cryptography/subtle

  Pure-Rust traits and utilities for constant-time cryptographic implementations.

  Language:Rust252185383

• starkware-libs/stwo

  Language:Rust25010984

• keep-starknet-strange/garaga

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

  Language:Cairo20646051

• EspressoSystems/hyperplonk

  Language:Rust19386041

• Lightprotocol/light-protocol

  The ZK Compression Protocol For Solana

  Language:Rust182111633

• han0110/plonkish

  Language:Rust10111131

• ryoppippi/zigcv

  zig bindings for OpenCV4

  Language:Zig10153714

• laudiacay/barustenberg

  barretenburg in rust (here we go)

  Language:Rust9754310

• zkmove/zkmove

  A zero-knowledge Move language runtime environment.

  77708

• recmo/goldilocks

  A library for fast NTTs over the Goldilocks prime field

  Language:Rust74405

• entropyxyz/synedrion

  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme

  Language:Rust6369210

• morgana-proofs/hashcaster

  Frobenius sumcheck for vectorized boolean ops

  Language:Rust38003

• sigma0-dev/polymath

  Polymath: Groth16 Is Not The Limit

  Language:Rust28424

• CPerezz/Awesome-crypto-articles

  A list of worth-reading articles about Cryptohraphy

  16200

• CPerezz/caulk_plus

  A rusty implementation of the Caulk+ lookup algorithm.

  12200

• a00012025/scalebit-zkctf-2024

  Language:Solidity7100

• Rubenduburck/vim-alchemy

  Convert stuff into other stuff

  Language:Rust3100