yannickseurin

yannickseurin's Stars

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1.5k

• succinctlabs/sp1

  A performant, 100% open-source, contributor-friendly zkVM.

  Language:Rust977317

• adampetcher/fcf

  Foundational Cryptography Framework for machine-checked proofs of cryptography.

  Language:Coq4823

• ShieldedCSV/ShieldedCSV

  Language:Rust293

• fireblocks/mpc-lib

  Language:C++165105

• mo271/FormalBook

  Formalizing "Proofs from THE BOOK"

  Language:Lean529

• sanket1729/rust-bulletproofs-pp

  Implementation of bulletproofs++ in rust

  Language:Rust153

• siv2r/bip-frost-signing

  A BIP draft for BIP340-compatible FROST threshold signing protocol

  Language:Python123

• RustCrypto/elliptic-curves

  Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2

  Language:Rust675187

• dalek-cryptography/bulletproofs

  A pure-Rust implementation of Bulletproofs using Ristretto.

  Language:Rust1k216

• ImperialCollegeLondon/formalising-mathematics-2024

  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

  Language:Lean12032

• BoltonBailey/formal-snarks-project

  A formal verification of Linear PCP SNARKs.

  Language:Lean483

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• AeneasVerif/aeneas

  A verification toolchain for Rust programs

  Language:OCaml18815

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.2k70

• C2SP/wycheproof

  Project Wycheproof tests crypto libraries against known attacks.

  Language:Java2.8k294

• kbuzzard/xena

  Lean Library currently studying for a degree at Imperial College

  Language:Lean22822

• leanprover-community/mathematics_in_lean

  The user home repository for the Mathematics in Lean tutorial.

  Language:HTML261195

• avigad/mathematics_in_lean_source

  Source code for the Mathematics in Lean tutorial.

  Language:Lean8970

• AdamISZ/aut-ct

  Anonymous usage tokens from curve trees

  Language:Rust203

• hash-based-snargs-book/hash-based-snargs-book

  Source code for "Building Cryptographic Proofs from Hash Functions"

  Language:TeX15425

• get-smooth/crypto-lib

  A Cryptographic Library for Smooth Blockchain uses

  Language:Solidity492

• Yubico/webauthn-recovery-extension

  Asynchronous delegated key generation without shared secrets (DRAFT)

  Language:Python606

• sipa/purify

  A PRF with low multiplicative complexity

  Language:Python214

• LFDT-Lockness/cggmp21

  State-of-art threshold ECDSA in Rust

  Language:Rust559

• JoeyLupo/cryptolib

  Language:Lean132

• generic-group-analyzer/gga-unbounded

  Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.

  Language:JavaScript11

• BitVM/BitVM

  Smarter Bitcoin Contracts

  Language:Rust350105

• ZcashFoundation/frost

  Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation

  Language:Rust14552

• hacspec/hax

  A Rust verification tool

  Language:OCaml19020