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

Age Verification ZKP ICAO for Android

CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Implementation of some information-set decoding algorithms

CTF Archives: Collection of CTF Challenges.

Public repository for Agent Skills

General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.

Project Wycheproof tests crypto libraries against known attacks.

⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

CTF challenges I created

A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.

Notes and Examples to get started Parallel Computing with CUDA.

The General Sieve Kernel

M4GB: Efficient Groebner Basis algorithm

Attacking ECDSA with nonce leakage using lattice-based algorithms

Python implementation of Wagner's Algorithm for the Generalized Birthday Problem.

Code for the paper "AICrypto: A Comprehensive Benchmark for Evaluating Cryptography Capabilities of Large Language Models"

Post-Quantum Magic Project. See more at https://pqcrypto.dev/ . We also open-sourced at https://gitee.com/pqcrypto/pqmagic.

This project gathers and standardize command line scripts to estimate the difficulty of solving hard mathematical problems related to cryptography.

sources for the Singular computer algebra system

Implementation of the Google Zero-Knowledge library for Identity Protocols.

Codes accompanying the paper "Revisiting the Generalized Birthday Problem and Equihash: Single or K Lists?".

Tool to find XOR differential and rotational-XOR characteristics of ARX primitives.

An open-source AI agent that brings the power of Gemini directly into your terminal.

A curated list of resources about post-quantum cryptography.

Fast lattice reduction using segmentation, multithreading, Seysen reduction and BLAS

A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.

CVE-2024-52510 - Loss of confidentiality in Nextcloud End to End Encryption

World's fastest and most advanced password recovery utility