weikengchen

weikengchen's Stars

• risc0/risc0

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

  Language:C++1.6k52530406

• ventali/awesome-zk

  A curated list of awesome ZK resources, libraries, tools and more.

  1.4k653204

• zama-ai/concrete

  Concrete: TFHE Compiler that converts python programs into FHE equivalent

  Language:C++1.2k2578139

• hendrycks/robustness

  Corruption and Perturbation Robustness (ICLR 2019)

  Language:Python1k1455146

• syncsynchalt/illustrated-tls13

  The Illustrated TLS 1.3 Connection: Every byte explained

  Language:HTML81114575

• arkworks-rs/snark

  Interfaces for Relations and SNARKs for these relations

  Language:Rust7783893209

• marcosnils/bin

  Effortless binary manager

  Language:Go679911445

• NVIDIA/nvtrust

  Ancillary open source software to support confidential computing on NVIDIA GPUs

  Language:Python189164826

• FindoraNetwork/noah

  Noah is a library that provide tools to create and verify public transaction with confidential data.

  Language:Rust9518225

• arkworks-rs/gemini

  An elastic proof system based on arkworks

  Language:Rust748410

• ahenzinger/simplepir

  The reference implementation of SimplePIR and DoublePIR, accompanying the paper "One Server for the Price of Two: Simple and Fast Single-Server Private Information Retrieval" (USENIX Security 2023).

  Language:Go734316

• FindoraNetwork/platform

  Official Implementation of Findora Network.

  Language:Rust73187030

• scipr-lab/ecfactory

  SageMath library for constructing elliptic curves

  Language:Python6312217

• arkworks-rs/spartan

  Spartan on Arkworks

  Language:Rust38208

• easyuc/EasyUC

  Experiments with Universal Composability in EasyCrypt

  Language:OCaml303541

• qchateau/rpclib

  rpclib is a modern C++ msgpack-RPC server and client library

  Language:C++22605

• alleystoughton/EasyTeach

  Examples for EasyCrypt Lectures

  Language:eC20304

• FindoraNetwork/storage

  A sessioned Merkle key/value store

  Language:Rust171609

• kwantam/eccons

  elliptic curve construction tool

  Language:C++17401

• emp-toolkit/emp-pvc

  Language:C++96102

• FindoraNetwork/merk

  a merk fork based on v0.2.1 to support range-based quires

  Language:Rust62305

• pentyum/dropper_shop

  投掷器商店插件

  Language:Java5303

• ucbrise/mage-scripts

  Benchmarking scripts for MAGE

  Language:Python540

• USTC-tuixue/Arcane-Art

  Language:Java41181

• FindoraNetwork/merkle

  Language:Rust31902

• weikengchen/Orion

  Language:C220

• CameronRasmussen/e20-vtt

  A hacked tweak of the DnD 5e ruleset to support a custom pen and paper RPG ruleset for VTT.

  Language:JavaScript120

• carlweng/obliv_bucketization

  1100

• kvakil/261-project

  simulation code for bitcoin gossip network, 261 class project

  Language:TeX1200

• weikengchen/OrionLinearPC

  Language:C++120