Protocol Buffers - Google's data interchange format

Solidity, the Smart Contract Programming Language

Zcash - Internet Money

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Implementation of the Google Zero-Knowledge library for Identity Protocols.

a portable and fast pairing-based cryptography library

Fuzz anything with Program Environment Fuzzing

Rust bindings and utilities for LLVM’s libFuzzer

zkEVM prover in C++

C++ library for Finite Fields and Elliptic Curves

Solidity-compatible BLS signatures, threshold encryption, distributed key generation library in modern C++. Actively maintained and used by SKALE for consensus, distributed random number gen, inter…

two heap address leak bugs in `usosvc` service

Consensus is a high-performance, provably secure, EVM-compatible protocol that achieves single-block finality. It powers the SKL Gas-Free Network. Built on asynchronous Byzantine Binary Agreement (…