mfaulk's starred repositories

zero-to-production

Code for "Zero To Production In Rust", a book on API development using Rust.

Language:RustLicense:Apache-2.0Stargazers:5497Issues:74Issues:216

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Language:RustLicense:GPL-3.0Stargazers:4771Issues:33Issues:21084

Practical-Cryptography-for-Developers-Book

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA

Language:CSSLicense:MITStargazers:3350Issues:131Issues:30

hashbrown

Rust port of Google's SwissTable hash map

Language:RustLicense:Apache-2.0Stargazers:2338Issues:38Issues:174

proptest

Hypothesis-like property testing for Rust

Language:RustLicense:Apache-2.0Stargazers:1649Issues:19Issues:250

rustsec

RustSec API & Tooling

Language:RustLicense:NOASSERTIONStargazers:1559Issues:20Issues:308

awesome-recursion-schemes

Resources for learning and using recursion schemes.

mobilecoin

Private payments for mobile devices.

Language:RustLicense:NOASSERTIONStargazers:1156Issues:68Issues:470

algebra

Libraries for finite field, elliptic curve, and polynomial arithmetic

Language:RustLicense:Apache-2.0Stargazers:582Issues:23Issues:300

plonk

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

Language:RustLicense:MPL-2.0Stargazers:536Issues:24Issues:423

rust-san

How-to: Sanitize your Rust code!

Language:RustLicense:Apache-2.0Stargazers:418Issues:10Issues:15

slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

Language:RustLicense:Apache-2.0Stargazers:408Issues:62Issues:157

zebra

Zcash - Financial Privacy in Rust 🦓

Language:RustLicense:Apache-2.0Stargazers:400Issues:22Issues:2283

hbbft

An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.

Language:RustLicense:NOASSERTIONStargazers:355Issues:25Issues:146

schnorrkel

Schnorr VRFs and signatures on the Ristretto group

Language:RustLicense:BSD-3-ClauseStargazers:306Issues:16Issues:67

ff

Traits and utilities for working with finite fields.

Language:RustLicense:Apache-2.0Stargazers:231Issues:9Issues:46
Language:C++License:Apache-2.0Stargazers:219Issues:14Issues:4

scrypto

Cryptographic primitives for Scala

Language:ScalaLicense:CC0-1.0Stargazers:201Issues:22Issues:21

zkp-ecdsa

Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.

Language:TypeScriptLicense:Apache-2.0Stargazers:196Issues:19Issues:7

siderophile

Find the ideal fuzz targets in a Rust codebase

Language:RustLicense:MITStargazers:196Issues:33Issues:31

graphene

A simple layer for interacting with PKCS #11 / PKCS11 / CryptoKI for Node in TypeScript. (Keywords: Javascript, PKCS#11, Crypto, Smart Card, HSM)

Language:TypeScriptLicense:MITStargazers:162Issues:17Issues:130

BLAKE3-specs

The BLAKE3 paper: specifications, analysis, and design rationale

Language:HTMLLicense:NOASSERTIONStargazers:161Issues:16Issues:7

accumulator

Cryptographic accumulators in Rust.

Language:RustLicense:MITStargazers:130Issues:15Issues:27

synchronicity

Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus

Language:RustLicense:Apache-2.0Stargazers:93Issues:8Issues:0

oramfs

Resizable ORAM, remote storage agnostic, written in Rust

Language:RustLicense:GPL-3.0Stargazers:67Issues:6Issues:2

Seraphis

Privacy-focused tx protocol

miscreant.rs

Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support

Language:RustLicense:NOASSERTIONStargazers:45Issues:5Issues:5

astrolabe-generator

A Java-based tool for generating EPS files for constructing astrolabes and related tools

Language:JavaLicense:GPL-3.0Stargazers:34Issues:0Issues:0