YunwenL

YunwenL's Stars

• bitcoinbook/bitcoinbook

  Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

  Language:HTML23.6k1.1k3916k

• ethereum/solidity

  Solidity, the Smart Contract Programming Language

  Language:C++23.3k7236k5.8k

• Lissy93/personal-security-checklist

  🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024

  Language:TypeScript17.2k215861.2k

• diem/diem

  Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

  Language:Rust16.7k5141.4k2.6k

• lnbook/lnbook

  Mastering the Lightning Network (LN)

  Language:AsciiDoc2.8k146284646

• lightning/bolts

  BOLT: Basis of Lightning Technology (Lightning Network Specifications)

  Language:Markdown2.1k171399492

• ethereum/research

  Language:Python1.8k23129588

• dalek-cryptography/bulletproofs

  A pure-Rust implementation of Bulletproofs using Ristretto.

  Language:Rust1k40143217

• bugaosuni59/TH-CPL

  清华大学计算机学科推荐学术会议和期刊列表

  Language:PHP922202112

• google/certificate-transparency

  Auditing for TLS certificates.

  Language:C++869102253283

• elibensasson/libSTARK

  A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)

  Language:C++507291790

• barryWhiteHat/roll_up

  scale ethereum with snarks

  Language:C++360183650

• leonardoalt/ethereum_formal_verification_overview

  Overview of the formal verification projects in the Ethereum ecosystem.

  32120533

• nervosnetwork/rfcs

  This repository contains proposals, standards and documentations related to Nervos Network.

  Language:Python2684461158

• zhangchiqing/merkle-patricia-trie

  A simplified golang implementation of Ethereum's Modified Patricia Trie.

  Language:Go2243369

• aergoio/aergo

  aergo blockchain kernel

  Language:Go214306645

• arkworks-rs/r1cs-tutorial

  Tutorial for writing constraints in the `arkworks` framework

  Language:Rust2087578

• WilfredTA/formal-methods-curriculum

  Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry

  Language:Jupyter Notebook1658013

• tvanepps/EthereumDiscordGuidebook

  A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.

  11210016

• lovesh/bulletproofs-r1cs-gadgets

  Arithmatic circuits convertible to R1CS based on Bulletproofs

  Language:Rust847621

• lnresearch/topology

  Data about the past and current structure of the Lightning Network

  Language:Python8251515

• aergoio/SMT

  Sparse Merkle Tree

  Language:Go561049

• nervosnetwork/sparse-merkle-tree

  Language:Rust47121137

• hashcashier/revive

  Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Networks.

  Language:Python316013

• omelkonian/formal-utxo

  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.

  Language:Agda144172

• generalized-channels/gc

  A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.

  Language:Python12304

• ing-bank/zkkrypto

  Collection of ZKP-related cryptographic primitives

  Language:Kotlin12703

• sdaveas/nipopow-verifier

  Verify your NIPoPoWs efficiently, here

  Language:TeX104103

• ckb-js/topics

  4331

• sledorze/fp-ethereum

  Functional Programming for Ethereum: Intro and Resources

  3201