mfaulk
Follow
Stars
cargo subcommand showing the assembly or llvm-ir generated for Rust code
A simple module to support serializing and deserializing const generic or arbitrarily-large arrays
Code for "Zero To Production In Rust", a book on API development using Rust.
Private payments for mobile devices.
A Java-based tool for generating EPS files for constructing astrolabes and related tools
Hypothesis-like property testing for Rust
The BLAKE3 paper: specifications, analysis, and design rationale
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.
Resizable ORAM, remote storage agnostic, written in Rust
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Libraries for finite field, elliptic curve, and polynomial arithmetic
A simple layer for interacting with PKCS #11 / PKCS11 / CryptoKI for Node in TypeScript. (Keywords: Javascript, PKCS#11, Crypto, Smart Card, HSM)
Rust implementation of Miscreant: misuse-resistant encryption library with AES-SIV (RFC 5297) and AES-PMAC-SIV support
Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…
Find the ideal fuzz targets in a Rust codebase
Distributed build system providing cryptographic proofs-of-reproducibility via Byzantine Fault Tolerant (BFT) consensus
A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
Resources for learning and using recursion schemes.
An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.