Stars
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.
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
Cracking V8 Math.random() from arbitrary bit leaks
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
Workbook for Introduction to Programmable Cryptography
Library for Polynomial System Solving through Algebraic Methods
A markup-based typesetting system that is powerful and easy to learn.
M4RI is a library for fast arithmetic with dense matrices over GF(2)
A Sage interface for FGb (Gröbner basis computations)
Collection of security reviews of ZK Protocols