WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!
EPFLItaly
WizardOfMenlo's Stars
yewstack/yew
Rust / Wasm framework for creating reliable and efficient web applications
seanmonstar/warp
A super-easy, composable, web server framework for warp speeds.
C2SP/wycheproof
Project Wycheproof tests crypto libraries against known attacks.
open-quantum-safe/liboqs
C library for prototyping and experimenting with quantum-resistant cryptography
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
sagemath/sage
Main repository of SageMath
dalek-cryptography/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
PQClean/PQClean
Clean, portable, tested implementations of post-quantum cryptography
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
microsoft/PQCrypto-SIDH
SIDH Library is a fast and portable software library that implements state-of-the-art supersingular isogeny cryptographic schemes. The chosen parameters aim to provide security against attackers running a large-scale quantum computer, and security against classical algorithms.
GuildOfWeavers/distaff
Zero-knowledge virtual machine written in Rust
veorq/awesome-post-quantum
A curated list of resources about post-quantum cryptography
starkware-libs/stwo
mmcloughlin/addchain
Cryptographic Addition Chain Generation in Go
arnomi/cryptocode
LaTeX package for typesetting pseudocode and cryptographic games
hash-based-snargs-book/hash-based-snargs-book
Source code for "Building Cryptographic Proofs from Hash Functions"
fancy-cryptography/fancy-cryptography
Deployments of fancy cryptography
WardBeullens/BreakingRainbow
Scripts for the 'Breaking Rainbow takes a Weekend on a Laptop' paper
invernizzi/Chrisper
Detect common mistakes in academic papers
WizardOfMenlo/stir
STIR š„£: ReedāSolomon Proximity Testing with Fewer Queries
arkworks-rs/nimue
Fiat-Shamir for the masses.
AlbertoParravicini/segretini-matplottini
A collection of Matplotlib and Seaborn recipes and utilities collected over years of colorful plot-making
arkworks-rs/ldt
An `arkworks` library for low-degree testing
microsoft/vOW4SIKE
The vOW4SIKE project provides C code that implements the parallel collision search algorithm by van Oorschot and Wiener (vOW). The algorithm can be instantiated for generic collision finding and for solving the supersingular isogeny problem in the context of the Supersingular Isogeny Key Encapsulation protocol SIKE.
jackleslie/html-styled
HTML for React with styled-system props
peal/vole
A GAP package for backtrack search in permutation groups with graphs
WizardOfMenlo/stabchain
A repository for (mainly) permutation groups algorithms, with a focus on stabilizer chains and benchmarking
jackleslie/LatinDiachronicFrontend
Frontend for the LatinDiachronicDatabase
NP-Eng/aurora
kientuong114/AICR_News
This bot produces PRTs (Pseudo-Random Tweets) at the rate of "whenever I feel like it" per day.