A software that assists a previous version of the proof of Gerver's conjecture, using a custom geometric branch-and-bound algorithm, and the exact rational QP solver powered by CGAL

The Cosmos Validator Monitoring Service(CVMS) is integrated monitoring system for validators in the Cosmos app chain ecosystem

Zapp is a powerful CLI tool designed to simplify and streamline the deployment of macOS applications. With Zapp, you can effortlessly create dmg and pkg files, perform code signing, notarize your a…

Source code for "Building Cryptographic Proofs from Hash Functions"

Mono-repository of multi blockchain key store system

Node management integration tools in purpose of maximizing node's uptime for any protocols

A book about compiling Racket and Python to x86-64 assembly

DEPRECATED: use noble-curves instead. Fastest JS implementation of BLS12-381.

Paranoid's library contains implementations of checks for well known weaknesses on cryptographic artifacts.

Ethereum simple uniswap contract

Connext is a modular stack for trust-minimized, generalized communication between blockchains.

Guess what

Explorer for Solana clusters

yield Stable Credit AMM. 2020, ETHOnline Hackathon

ZKProof SNARK-friendly primitives working group document

Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"

Wiki containing pieces of information and knowledge about BEAM Virtual machine (which runs Erlang/OTP and other BEAM-based languages).

Proposed changes to Haskell Core Libraries

Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum

Multiprecision arithmetic & RSA accumulators, within SNARKs

A programmable open source blockchain engine

Rust-language assets for Zcash

A static web page to debug RLP encoded bytes

CodeChain Documentation