mabbamOG
ex falso quodlibet. Christ is King
Independent Cryptography Consultant0x84111cC3680c6E49F523931D91a66fE096e0e3F9
Pinned Repositories
giaco.ml
imperative interpreter w/ reflection and taint-analysis in OCAML from scratch!
MALLORY
A simple backdoor
sapling-crypto
Zcash "Sapling" cryptography
snarkpack
SNARKPack protocol for aggregating Groth16 proofs
traplottery
automated trustless lottery on the blockchain 🔥🔥🔥🔥
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
mabbamOG's Repositories
mabbamOG/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
mabbamOG/traplottery
automated trustless lottery on the blockchain 🔥🔥🔥🔥
mabbamOG/sapling-crypto
Zcash "Sapling" cryptography
mabbamOG/snarkpack
SNARKPack protocol for aggregating Groth16 proofs
mabbamOG/ADKG
mabbamOG/bellman-sha256
mabbamOG/bls12_381
Fork of zkcrypto/bls12_381 to support halo2wrong traits
mabbamOG/commitment_schemes
mabbamOG/csvformatter
just simple stuff
mabbamOG/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.
mabbamOG/ELAB_ING
mabbamOG/halo2
mabbamOG/halo2_exp_circuit
Halo2 Circuit for exponentiation
mabbamOG/halo2curves
mabbamOG/halo2wrong
mabbamOG/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
mabbamOG/mabbamOG.github.io
my static website
mabbamOG/microbit_home
just a stupid script to show off the termperature and compass
mabbamOG/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
mabbamOG/PROJECT-SWSec
my software security homework assignments/projects for UTWENTE
mabbamOG/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
mabbamOG/rescue
mabbamOG/SHA256_Padding_Circuit
Pseudocode Algebraic Circuit design for SHA256 Padding
mabbamOG/three_dee_renderer
3d rendering from raw pixel buffer
mabbamOG/UTwente-Smart-Wonen-house-searcher
this program finds the closest housing (rooms) to UTWENTE on smart-wonen
mabbamOG/verifiable-threshold-encryption
mabbamOG/vis
A vi-like editor based on Plan 9's structural regular expressions
mabbamOG/zkevm-circuits
mabbamOG/zkp_arithmetisation_tricks
tricks for polynomial arithmetisation, proven in Z3
mabbamOG/zkpbox
A sandbox for Zero Knowledge proofs and their applications