The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

A curated list of resources on zkECDSA

Experimental folding schemes library

A C++ library containing both easy-to-use lower level bigint/ecgroup interfaces and high-level cryptographical schemes/protocols.

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

For practice to using halo2

▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.

📟 Switch your input method through terminal

A utility for generating Solidity code for recovering signatures using the EIP-712 signTypedData schema.

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

Implementation of two BFT consensus protocols

List of halo2-related resources

Command line utility to check whether the license headers are included in the source code files of a project. It can also insert/replace.

A program to extract import directives of given go files.

Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.

一个用于在 macOS 上平滑你的鼠标滚动效果或单独设置滚动方向的小工具, 让你的滚轮爽如触控板 | A lightweight tool used to smooth scrolling and set scroll direction independently for your mouse on macOS

各种油猴脚本

AI based fuzzer based on imitation learning

Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in…

Statistics-driven benchmarking library for Rust