Common cryptographic library used in software at Mysten Labs.

Smarter Bitcoin Contracts

A Privacy-Preserving Framework Based on TensorFlow

Censorship-resistant global proving network.

Zero-knowledge cryptography traits

opensouce RISC-V cpu core implemented in Verilog from scratch in one night!

A library for generating chrome:https://tracing traces in Rust.

Tooling for creating collaborative SNARKs for Circom circuits.

The distributed financial transactions database designed for mission critical safety and performance.

The password hash Argon2, winner of PHC

Website for Sp24 hosted on Github Pages

A Course in Cryptanalysis

A curated list of rust articles worth reading

A list with all the resources I find helpful when developing with Rust

Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

Building blocks of a Circle STARK verifier in Bitcoin script

32-bit PoC for CVE-2024-6387 — mirror of the original 7etsuo/cve-2024-6387-poc

Mobile delegated R1CS proving using SpartanNIZK

Multi-party computation libraries written in Rust 🦀

OpenFHE-rs - a Rust interface for the OpenFHE library; documentation https://openfhe-rust-wrapper.readthedocs.io/

The systemd System and Service Manager

Apple AMX Instruction Set

Optimised x86-64 gzip decompressor

You like pytorch? You like micrograd? You love tinygrad! ❤️

Decree Fiat Shamir Library

Run compilers interactively from your web browser and interact with the assembly

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

Think tmux, then aim... lower