faderer

snarkjs

zkSNARK implementation in JavaScript & WASM

circomlib

Library of basic circuits for circom

circom

zkSnark circuit compiler

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

elliptic-curve-solidity

Elliptic Curve arithmetic operations written in Solidity

bip340-solidity

Solidity implementation of BIP340 Schnorr signature verification, intended for use with Taproot.

bls-wallet-contracts

Smart contract wallet using BLS signature aggregation

zkevm-circuits

smart-contract-vulnerabilities

A collection of smart contract vulnerabilities along with prevention methods

Symboleo-IDE

An IDE for Symboleo, a formal contract specification language.

PerFlow

Domain-specific framework for performance analysis of parallel programs

gpt4free

The official gpt4free repository | various collection of powerful language models

circ

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Anyswap_Vul_Poc

Anyswap aka Multichain V4Router 攻击事件的分析和复现

Cross-Chain-Attacks

Xscope: Hunting for Cross-Chain Bridge Attacks

FISCO-BCOS

FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.

awesome-chatgpt-prompts

This repo includes ChatGPT prompt curation to use ChatGPT better.

the-algorithm

Source code for Twitter's Recommendation Algorithm

typst

A new markup-based typesetting system that is powerful and easy to learn.

COLA

🥤 COLA: Clean Object-oriented & Layered Architecture

SolRsaVerify

Solidity RSA Sha256 Pkcs1 Verification

solidity-bls

BLS threshold signature verification in Solidity

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

solidity-antlr4

Solidity grammar for ANTLR4

solcrypto

Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256

zkay

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

akshare

AKShare is an elegant and simple financial data interface library for Python, built for human beings! 开源财经数据接口库

ZoKrates

A toolbox for zkSNARKs on Ethereum

blockchain_conference_paper

The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.

blockchainguide

持续更新区块链行业技术知识