MercysJest

Stanford University

Pinned Repositories

crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust179 14 5889
groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust254 15 15102
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust00
cs242-final
Basic Fuzzer in SMT2
Language:SMT01
dev-container
development environment in a docker container
Language:Vim script00
groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust0 0 00
haskell-euler
Project Euler Solutions in Haskell
Language:Haskell0 1 00
NovaBreakingTheCycleAttack
Language:Rust8 3 10
sgx-lkl-musl
Modified musl libc for SGX-LKL
Language:C00
zcrypto
Liberal Go TLS + X.509 Library for Research
Language:Go00

MercysJest's Repositories

MercysJest/NovaBreakingTheCycleAttack
Language:Rust8 3 10
MercysJest/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
Language:Rust00
MercysJest/cs242-final
Basic Fuzzer in SMT2
Language:SMT01
MercysJest/dev-container
development environment in a docker container
Language:Vim script00
MercysJest/groth16
A Rust implementation of the Groth16 zkSNARK
Language:Rust0 0 00
MercysJest/haskell-euler
Project Euler Solutions in Haskell
Language:Haskell0 1 00
MercysJest/sgx-lkl-musl
Modified musl libc for SGX-LKL
Language:C00
MercysJest/zcrypto
Liberal Go TLS + X.509 Library for Research
Language:Go00