Mathias Hall-Andersen
rot256
PhD in Cryptography/CS. Kalmarunionen CTF player. Cofounder / cryptographer at ZKSecurity. Always building / breaking systems.
Languages
Repos
56
Stars
142
Forks
19
Top Language
Rust
Loading contributions...
Top Repositories
Witness encryption for KZG openings
An experimental implementation of nQUIC in Rust
Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.
Common MPC Pitfalls
An implementation of a partially blind signature scheme based on elliptic curves
Files for the AES + Atmega328 differential fault injection post
Repositories
56Kurz ("short" in German): a library for writing easy readable Lattice attacks.
A pure-rust secp256k1 library optimised for fun
Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)
Collection of Key Encapsulation Mechanisms written in pure Rust
Rust language proof-carrying data framework
Witness encryption for KZG openings
Common MPC Pitfalls
No description provided.
An implementation of replica encodings without timing assumptions.
Implementation of the Puchinger-Rosenkilde ne Nielsen Decoder for Interleaved Reed-Solomon Codes
No description provided.
Easy heterogeneous ring signatures for Git (and Github): prove membership among groups of users without revealing your identity.
Solutions to CTF challenges / wargames / hacking challenges
No description provided.
An implementation of a partially blind signature scheme based on elliptic curves
Midnight trusted setup for PLONK over BLS12-381 repository
An experimental implementation of nQUIC in Rust
No description provided.
No description provided.
A tiny Rust program to replicate the desktop behavior of i3 using Yabai on MacOS
No description provided.
List of halo2-related resources
A Virtual Machine for Zero-Knowledge Executions
Extensions for the Zed editor
Files for the AES + Atmega328 differential fault injection post
Making Fiat-Shamir Easy.
Futures-based QUIC implementation in Rust
OpenCL code generator for finite-field arithmetic over arbitrary prime fields
Derive Macros for Bevis
Strobe128 for Bevis