Skip to content
View weikengchen's full-sized avatar

Highlights

  • Pro

Organizations

@ustclug @oblivious-file-sharing @arkworks-rs @n-for-1-auth @FindoraNetwork @l2iterative

Block or report weikengchen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Concrete: TFHE Compiler that converts python programs into FHE equivalent

C++ 1,290 151 Updated Jan 15, 2025

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

C++ 1,757 474 Updated Jan 15, 2025

Ancillary open source software to support confidential computing on NVIDIA GPUs

Python 218 32 Updated Dec 9, 2024

elliptic curve construction tool

C++ 17 1 Updated Feb 24, 2023

Spartan on Arkworks

Rust 40 10 Updated Dec 12, 2024

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).

Go 81 18 Updated Jan 13, 2023
C 2 Updated Aug 11, 2022

Interfaces for Relations and SNARKs for these relations

Rust 804 217 Updated Oct 28, 2024

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

1,507 212 Updated Oct 15, 2024

An elastic proof system based on arkworks

Rust 80 14 Updated Dec 21, 2023

Effortless binary manager

Go 728 47 Updated Jan 13, 2025

Benchmarking scripts for MAGE

Python 5 Updated Jun 23, 2022

A sessioned Merkle key/value store

Rust 17 9 Updated Oct 26, 2023
Rust 3 2 Updated Sep 26, 2021

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

Rust 6 5 Updated Sep 27, 2021

Official Implementation of Findora Network.

Rust 72 30 Updated Dec 9, 2024

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

Rust 97 24 Updated Jan 3, 2024

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

C++ 22 5 Updated Apr 26, 2021

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

JavaScript 1 Updated Mar 14, 2021

SageMath library for constructing elliptic curves

Python 67 18 Updated Jul 14, 2023

The Illustrated TLS 1.3 Connection: Every byte explained

HTML 839 78 Updated Nov 12, 2024
Java 4 Updated Aug 29, 2020

投掷器商店插件

Java 5 3 Updated Jul 30, 2021

Examples for EasyCrypt Lectures

eC 23 5 Updated Oct 14, 2024

Experiments with Universal Composability in EasyCrypt

OCaml 32 2 Updated Jan 15, 2025

Corruption and Perturbation Robustness (ICLR 2019)

Python 1,039 145 Updated Aug 24, 2022
C++ 9 2 Updated Apr 26, 2020

simulation code for bitcoin gossip network, 261 class project

TeX 1 Updated Dec 3, 2018
Next
Showing results