Pinned Repositories
aztec-packages
barretenberg
testudo
Testudo: Spartan + Groth16
go-safeweb
Secure-by-default HTTP servers in Go.
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
Attempts_On_Go
Implementation of a simple dummy server and a test harness that mocks the network stack. The mini-projects were done in order to gain familiarity with Golang
barretenberg
C-Tick
C project as part of Cambridge Computer Science course that analyses and removes IP and TCP headers from log files
circuit
freebsd
FreeBSD src tree http://www.FreeBSD.org/
maramihali's Repositories
maramihali/freebsd
FreeBSD src tree http://www.FreeBSD.org/
maramihali/Attempts_On_Go
Implementation of a simple dummy server and a test harness that mocks the network stack. The mini-projects were done in order to gain familiarity with Golang
maramihali/barretenberg
maramihali/C-Tick
C project as part of Cambridge Computer Science course that analyses and removes IP and TCP headers from log files
maramihali/circuit
maramihali/DTrace-Tutorials
My attempt on scripts presented in the DTrace tutorials from dtrace.org
maramihali/snarkpack
snarkpack for arkwork
maramihali/gnark-crypto
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.
maramihali/go-safeweb
Secure-by-default HTTP servers in Go.
maramihali/report-to-parser
A simple package to parse reports coming from browsers implementing the Reporting API
maramihali/Spartan
Spartan: High-speed zkSNARKs without trusted setup
maramihali/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer