Stars
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 new 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
Solving linear systems over GF(2) by manipulating bitvectors
pySMT: A library for SMT formulae manipulation and solving
A curated list of multi party computation resources and links.
A curated list of awesome security resources for ZK.
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Library for programming zk-SNARKs directly in Python
A summary of 200+ CTF blockchain challenges
This repository contains code snippets and POCs associated to our article on breaking Python's PRNG with a few values and no bruteforce.