mabbamOG

traplottery

automated trustless lottery on the blockchain 🔥🔥🔥🔥

giaco.ml

imperative interpreter w/ reflection and taint-analysis in OCAML from scratch!

sapling-crypto

Zcash "Sapling" cryptography

snarkpack

SNARKPack protocol for aggregating Groth16 proofs

zktls

Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain

ADKG

bellman-sha256

bls12_381

Fork of zkcrypto/bls12_381 to support halo2wrong traits

commitment_schemes

csvformatter

just simple stuff

dose-response

Dose Response is a roguelike where you play an addict. Avoid the dangers threatening your mind and body while desperately looking for the next fix.

ELAB_ING

ELAB_LATEX

rewriting bitcoing whitepaper in org-mode latex for fun

halo2

halo2_exp_circuit

Halo2 Circuit for exponentiation

halo2curves

halo2wrong

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

mabbamOG.github.io

my static website

microbit_home

just a stupid script to show off the termperature and compass

Project-Lightspeed

A self contained OBS -> FTL -> WebRTC live streaming server. Comprised of 3 parts once configured anyone can achieve sub-second OBS to the browser livestreaming

PROJECT-SWSec

my software security homework assignments/projects for UTWENTE

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

rescue

SHA256_Padding_Circuit

Pseudocode Algebraic Circuit design for SHA256 Padding

UTwente-Smart-Wonen-house-searcher

this program finds the closest housing (rooms) to UTWENTE on smart-wonen

verifiable-threshold-encryption

vis

A vi-like editor based on Plan 9's structural regular expressions

zkevm-circuits

zkpbox

A sandbox for Zero Knowledge proofs and their applications