Giapppp

write-up

:smirk_cat: CTF write-ups

pysmt

pySMT: A library for SMT formulae manipulation and solving

automated-coppersmith

awesome-mpc

A curated list of multi party computation resources and links.

Awesome-ZKP-Security

A curated list of awesome security resources for ZK.

zkbugs

Reproduce ZKP vulnerabilities

course-cryptanalysis

A Course in Cryptanalysis

sage_army_knife

A mutitool for cryptography CTF problems

zk-bug-tracker

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

pysnark

Library for programming zk-SNARKs directly in Python

ctf-blockchain

A summary of 200+ CTF blockchain challenges

python-random-playground

This repository contains code snippets and POCs associated to our article on breaking Python's PRNG with a few values and no bruteforce.

TeXnique

A LaTeX Typesetting Game

primesieve

🚀 Fast prime number generator

v8-randomness-predictor

Using z3 to predict `Math.random` in v8

lll_cvp

linineq

Functions for solving linear inequalities in integers

randcracks

Cracking psuedorandom stuffs.

Cryptography-project

Our cryptography project about cryptanalysis on ECC-based algorithms

ptrlib

Python library for CTFer

signatures

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

HyperellipticCurves

Arithmetic on Hyperelliptic curves

my-ctf-challenges

my ctf chals

coppersmith

AES_zero_knowledge_proof_circuit

std-curves

Standard curve database.

des_symbolic

Representing DES in Z3

flatter

Fast lattice reduction

isd

An implementation of Dumer's algorithm for Information Set Decoding.

syndrome_decoding_estimator

A tool to estimate the difficulty of solving the syndrome decoding problem.