zchn

.New York, NY

Pinned Repositories

keystone
Keystone Enclave (QEMU + HiFive Unleashed)
Language:C462 37 226133
eth-acl2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Language:Common Lisp3 3 153
ethereum-analyzer
An Ethereum contract analyzer.
Language:Haskell18 2 45
honeyjs
JS engine for python with extra security auditing features. derived from python-spidermonkey:Python/JavaScript bridge module, making use of Mozilla's spidermonkey JavaScript implementation.
Language:C1 3 01
keystone
Keystone Enclave (QEMU + HiFive Unleashed)
Language:C1 0 00
kys-js
《金庸群侠传》kys-js (pixijs)
Language:JavaScript1 1 00
llvm-phkit
llvm-phkit
Language:C2 2 00
Pentest-Notes
《内网安全攻防-渗透测试实战指南》一些技术点概括
1 0 00
proofweb
ProofWeb (http://proofweb.cs.ru.nl/) ported to ocamlnet 4.0.4 and made dockerable (WORK-IN-PROGRESS)
Language:OCaml1 2 00

zchn's Repositories

zchn/eth-acl2
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Language:Common Lisp3 3 153
zchn/keystone
Keystone Enclave (QEMU + HiFive Unleashed)
Language:C1 0 00
zchn/kys-js
《金庸群侠传》kys-js (pixijs)
Language:JavaScript1 1 00
zchn/Pentest-Notes
《内网安全攻防-渗透测试实战指南》一些技术点概括
1 0 00
zchn/augur-core
Augur back-end (Ethereum contracts)
Language:TypeScript2 0
zchn/augur-ui
Augur UI
Language:JavaScript2 0
zchn/base-contract-deployments
kz's staging area
Language:Solidity0 0
zchn/bazel-latex
Bazel build system rules for LaTeX
Language:Starlark1 0
zchn/eip712sign
Golang utility for signing EIP-712 payloads
Language:Go0 0
zchn/GitCTF
Git-based CTF
Language:Python1 0
zchn/gitignore
A collection of useful .gitignore templates
1 0
zchn/go.cgao.me
Language:HTML2 0
zchn/icesugar-pro
iCESugar series FPGA dev board
Language:Verilog0 0
zchn/j
ckev.in/j
2 0
zchn/keystone-sdk
SDK for Keystone Enclave - ABI/SBI libraries and sample apps
Language:C0 0
zchn/keystone2
Language:C1 0
zchn/mcsema
x86 to machine code translation framework
Language:C++2 0
zchn/op-driver
Language:Solidity
zchn/optimism-kztest
Optimism is Ethereum, scaled.
Language:Go0 0
zchn/pcs-web
http://ckev.in/pcs-web/
2 0
zchn/prjtrellis-docker
github.com/YosysHQ/prjtrellis
Language:Dockerfile0 0
zchn/riscv-gnu-toolchain-docker
github.com/riscv/riscv-gnu-toolchain
Language:Dockerfile0 0
zchn/riscv-playground
Language:Dockerfile0 0
zchn/riscv-tee
Language:Makefile0 0
zchn/simple-safe-ui
Language:TypeScript1 0
zchn/test-codespaces
Language:EJS1 0
zchn/xg2xg
by ex-googlers, for ex-googlers - a lookup table of similar tech & services
2 0
zchn/yosys
Yosys Open SYnthesis Suite
Language:C++0 0
zchn/zchn
Config files for my GitHub profile.
1 0
zchn/zchn.github.io
Language:JavaScript2 0