-
Bitlayer Labs
- Singapore
- https://kevinhe.io/
- @0xkevinhe
- All languages
- API Blueprint
- AppleScript
- Assembly
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Dart
- Dockerfile
- Elixir
- Erlang
- Go
- Groovy
- HTML
- IDL
- Java
- JavaScript
- Jupyter Notebook
- KCL
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mermaid
- Mustache
- Nunjucks
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Rich Text Format
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
Starred repositories
🦀 Small exercises to get you used to reading and writing Rust code!
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Scalable datastore for metrics, events, and real-time analytics
Adds static typing to JavaScript to improve developer productivity and code quality.
Relay is a JavaScript framework for building data-driven React applications.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Command-line client for WebSockets, like netcat (or curl) for ws:// with advanced socat-like functions
Minimal implementation of the Mimblewimble protocol.
zkSync: trustless scaling and privacy engine for Ethereum
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.
Interfaces for Relations and SNARKs for these relations
A STARK prover and verifier for arbitrary computations
OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
filecoin-project / bellperson
Forked from zkcrypto/bellmanzk-SNARK library
Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件
ArbOS operating system, to run at Layer 2 on Arbitrum chains. Also a compiler for Mini, the language in which ArbOS is written.
Multiprecision arithmetic & RSA accumulators, within SNARKs
Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters