WizardOfMenlo
PhD student in Cryptography at EPFL. Interested in proofs systems, zkSNARKs, and more!
EPFLItaly
Pinned Repositories
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
AOC
CV
gray_code_lagrange
LatinDiachronicDatabase
A database for quantitative analysis of Latin literature
nimue
QuantumPresentationTMX
stabchain
A repository for (mainly) permutation groups algorithms, with a focus on stabilizer chains and benchmarking
stir
STIR š„£: ReedāSolomon Proximity Testing with Fewer Queries
turing_machine
WizardOfMenlo's Repositories
WizardOfMenlo/stir
STIR š„£: ReedāSolomon Proximity Testing with Fewer Queries
WizardOfMenlo/LatinDiachronicDatabase
A database for quantitative analysis of Latin literature
WizardOfMenlo/stabchain
A repository for (mainly) permutation groups algorithms, with a focus on stabilizer chains and benchmarking
WizardOfMenlo/gray_code_lagrange
WizardOfMenlo/QuantumPresentationTMX
WizardOfMenlo/nimue
WizardOfMenlo/turing_machine
WizardOfMenlo/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
WizardOfMenlo/AOC
WizardOfMenlo/CV
WizardOfMenlo/elliptic_curves_talk
WizardOfMenlo/Hack-The-Image
WizardOfMenlo/idris2-vim
Vim mode for Idris 2
WizardOfMenlo/kickstart.nvim
A launch point for your personal nvim configuration
WizardOfMenlo/language-translator-json
WizardOfMenlo/LossyTDFs
WizardOfMenlo/oreo
WizardOfMenlo/stupid_ec
WizardOfMenlo/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.
WizardOfMenlo/ZKP-Sh
WizardOfMenlo/num-integer
Integer trait and functions for Rust
WizardOfMenlo/poly-commit
A Rust library for polynomial commitments
WizardOfMenlo/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.
WizardOfMenlo/rust-analyzer
An experimental Rust compiler front-end for IDEs
WizardOfMenlo/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
WizardOfMenlo/WizardOfMenlo
WizardOfMenlo/wizardofmenlo.github.io