Pinned Repositories
Course-CMPSC263
Course project repo for CMPSC 263 in Fall22
Course-CMPSC293S
darkforest-v0.6
Dark Forest v0.6
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
ed25519-circom
ED25519 implementation in Circom
Foray
halmos
A symbolic testing tool for EVM smart contracts
ZKAP
whbjzzwjxq's Repositories
whbjzzwjxq/ZKAP
whbjzzwjxq/Course-CMPSC263
Course project repo for CMPSC 263 in Fall22
whbjzzwjxq/Course-CMPSC293S
whbjzzwjxq/darkforest-v0.6
Dark Forest v0.6
whbjzzwjxq/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
whbjzzwjxq/ed25519-circom
ED25519 implementation in Circom
whbjzzwjxq/halmos
A symbolic testing tool for EVM smart contracts
whbjzzwjxq/halmos-test
whbjzzwjxq/learning-edk2
whbjzzwjxq/manticore
Symbolic execution tool
whbjzzwjxq/Metaknew-backend
whbjzzwjxq/Metaknew-docker
whbjzzwjxq/Metaknew-frontend
whbjzzwjxq/Re-IR2JSON
Extract information from llvm to python
whbjzzwjxq/Re-llvm_linker
Parser which converts LLVM-IR to json.
whbjzzwjxq/whbjzzwjxq.github.io
The academic website of hongbo
whbjzzwjxq/ZKSolid-bmk-aes-circom
AES-GCM implementation in Circom
whbjzzwjxq/ZKSolid-bmk-circom-ecdsa
Big integer arithmetic and secp256k1 ECC operations in circom
whbjzzwjxq/ZKSolid-bmk-circom-pairing
whbjzzwjxq/ZKSolid-bmk-circomlib
Library of basic circuits for circom
whbjzzwjxq/ZKSolid-bmk-circomlib-matrix
Circuits library for matrix operations in circom
whbjzzwjxq/ZKSolid-bmk-circomlib-ml
Circom Circuits Library for Machine Learning
whbjzzwjxq/ZKSolid-bmk-darkforest-eth
whbjzzwjxq/ZKSolid-bmk-ed25519
whbjzzwjxq/ZKSolid-bmk-hermez-network
Implements hermez network zk-Snarks circuits
whbjzzwjxq/ZKSolid-bmk-maci
Benchmark collection for ZKSolid. Minimal anti collusion infrastructure
whbjzzwjxq/ZKSolid-bmk-telepathy
This project comes from Veridise's auditing. It is not allowed to be published until the client auths it.