Giters
Zi-Hao Li (zzzihao-li)

zzzihao-li

Geek Repo

24

followers

24

following

163

stars

Company:Hong Kong Polytechnic University

Location:Hong Kong

Github PK Tool:Github PK Tool

Zi-Hao Li's starred repositories

go-ipa

A Go implementation of cryptographic primitives for Verkle Trees

Language:GoLicense:Apache-2.0Stargazers:28Issues:0Issues:0

go-ethereum

Official Go implementation of the Ethereum protocol

Language:GoLicense:LGPL-3.0Stargazers:21Issues:0Issues:0

verkle-crypto

Cryptography for Ethereum Verkle Trees

Language:ZigLicense:MITStargazers:32Issues:0Issues:0

rust-verkle

Language:RustLicense:Apache-2.0Stargazers:107Issues:0Issues:0

research

Language:PythonLicense:MITStargazers:1752Issues:0Issues:0

huff

Repository for Huff - an EVM programming language

Language:JavaScriptStargazers:231Issues:0Issues:0

Overleaf-Workshop

Open Overleaf/ShareLaTex projects in vscode, with full collaboration support.

Language:TypeScriptLicense:AGPL-3.0Stargazers:403Issues:0Issues:0

zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

Language:C++Stargazers:273Issues:0Issues:0

ZoKrates

A toolbox for zkSNARKs on Ethereum

Language:RustLicense:LGPL-3.0Stargazers:1781Issues:0Issues:0

zktrie

Binary storage trie

Language:GoLicense:Apache-2.0Stargazers:45Issues:0Issues:0

Academic_LLM_Sec_Papers

Academic Papers about LLM Application on Security

Stargazers:71Issues:0Issues:0

go-ethereum-code-analysis

English version

Language:TeXLicense:MITStargazers:400Issues:0Issues:0

zk-bug-tracker

A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.

License:MITStargazers:585Issues:0Issues:0

armory

A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.

Stargazers:390Issues:0Issues:0

skelcodes

smart contracts deployed on Ethereum, one per skeleton

License:GPL-3.0Stargazers:7Issues:0Issues:0

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonLicense:AGPL-3.0Stargazers:732Issues:0Issues:0

sol2uml

Solidity contract visualisation tool

Language:TypeScriptLicense:MITStargazers:1105Issues:0Issues:0

slang

Solidity compiler tooling by @NomicFoundation

Language:RustLicense:MITStargazers:219Issues:0Issues:0

huff-rs

A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.

Language:RustLicense:Apache-2.0Stargazers:578Issues:0Issues:0

gambit

Using mutations to improve specs and test suites

Language:RustLicense:MITStargazers:158Issues:0Issues:0

EasyLiterature

EasyLiterature is an open-sourced, Python-based command line tool for automatic literature management.

Language:PythonLicense:MITStargazers:203Issues:0Issues:0

kakarot

Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

Language:CairoLicense:MITStargazers:912Issues:0Issues:0

zkevm-circuits

Language:RustLicense:MITStargazers:853Issues:0Issues:0

evm-dafny

An EVM interpreter in Dafny

Language:DafnyLicense:Apache-2.0Stargazers:121Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2844Issues:0Issues:0

gnark

gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

Language:GoLicense:Apache-2.0Stargazers:1346Issues:0Issues:0

DeFi-csp-models

Language:C#Stargazers:9Issues:0Issues:0

thoth

Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)

Language:PythonLicense:AGPL-3.0Stargazers:238Issues:0Issues:0

Medjai

A Symbolic Execution Tool for Cairo

Language:RacketLicense:GPL-3.0Stargazers:47Issues:0Issues:0

verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Language:C#License:NOASSERTIONStargazers:244Issues:0Issues:0