therealyingtong

therealyingtong's Stars

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.3k61534175

• ethereum/py-evm

  A Python implementation of the Ethereum Virtual Machine

  Language:Python2.3k100656661

• josephg/diamond-types

  The world's fastest CRDT. WIP.

  Language:Rust1.6k451331

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k362.6k237

• 0xPolygonZero/plonky2

  Language:Rust79430169302

• arkworks-rs/algebra

  Libraries for finite field, elliptic curve, and polynomial arithmetic

  Language:Rust67623312261

• privacy-scaling-explorations/zkevm-specs

  Language:Python33429204272

• arkworks-rs/curves

  Implementations of popular elliptic curves

  Language:Rust3041832103

• nalinbhardwaj/Nova-Scotia

  Middleware to compile Circom circuits to Nova prover

  Language:JavaScript23572150

• adria0/awesome-halo2

  List of halo2-related resources

  1914023

• ivangreene/arena-js

  are.na API wrapper for JavaScript

  Language:JavaScript18951017

• anoma/vamp-ir

  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

  Language:Rust15986348

• privacy-scaling-explorations/snark-verifier

  Language:Rust1501825145

• iVis-at-Bilkent/cytoscape.js-expand-collapse

  A Cytoscape.js extension to expand/collapse nodes for better management of complexity of compound graphs

  Language:JavaScript1291011338

• adityapk00/zecwallet-lite

  Zecwallet-Lite is z-Addr first lightwallet for Zcash.

  Language:TypeScript1051518486

• protocol/ResNetLab

  Building resilience into the foundational infrastructure for Human Knowledge

  10593012

• OpenDefenseFund/monorepo

  Want to help Open Source twitter? ODF is investing $650K in grants by Open Source teams committed to protecting healthy public debate on the web.

  896011

• weijiekoh/libkzg

  A minimal KZG polynominal commitment library with a Solidity verifier

  Language:TypeScript69417

• daira/halographs

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

  487010

• zhenfeizhang/pasta-solidity

  A Solidity implementation of Halo2's Pasta curves

  Language:Rust48242

• Orbis-Tertius/tiny-ram-halo2

  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.

  Language:Rust373122

• e-e-e/arena-ts

  A client library for interacting with the are.na api

  Language:TypeScript31204

• daira/tweedle

  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo

  Language:Sage20513

• hermeznetwork/hermez-docs

  Hermez documentation

  95113

• Trapdoor-Tech/halo2-aggregation

  Language:Rust9402

• akinovak/halo2-rln

  Rate limit nullifiers on halo2 protocol

  Language:Rust8301

• KaiMicahMills/tech-tree

  Language:JavaScript52

• Foresight-Institute/intelligent-cooperation-tree

  Language:JavaScript31

• zhenfeizhang/caulk

  Language:Rust2

• dzldebby/irrc

  Language:Vue10