goldlinker/sonobe
Experimental folding schemes library
Experimental folding schemes library
Cairo is the first Turing-complete language for creating provable programs for general computation.
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
BER/DER parser written in pure Rust. Fast, zero-copy, safe.
Ethereum infura like service to provide RPC endpoints for Conflux network.
The enum Either with variants Left and Right is a general purpose sum type with two cases.
Safe allows secure management of blockchain assets.
BNB Smart Chain Venus Protocol
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Stellar's public monorepo of go code
Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.
Filecoin Full Node Implementation in Go
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust implementation of the SSV protocol
Cryptography-oriented big integer library with constant-time, stack-allocated (no_std-friendly) implementations of modern formulas
Extract documentation for the feature flags from comments in Cargo.toml
Collection of pure Rust elliptic curve implementations: NIST P-224, P-256, P-384, P-521, secp256k1, SM2
Universal wallet connector for the Cosmos ⚛️
A Rust proc-macro attribute parser
Some more derive(Trait) options
A Hardware Abstraction Layer (HAL) for embedded systems
Secret-Shared-Validator(SSV) for ethereum staking
The most intuitive desktop API client. Organize and execute REST, GraphQL, WebSockets, Server Sent Events, and gRPC 🦬
A powerful little TUI framework 🏗
🐺 Starknet Rust types 🦀
A standard library wrapper for use in the `arkworks` ecosystem
Noir is a domain specific language for zero knowledge proofs
Fiat-Shamir for the masses.
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Ethereum Proof-of-Stake Consensus Specifications