Cesare-Liu's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
kroma-network/tachyon
Modular ZK(Zero Knowledge) backend accelerated by GPU
arrayfire/arrayfire
ArrayFire: a general purpose GPU library.
intel/linux-sgx
Intel SGX for Linux*
0xPolygonZero/plonky2
arkworks-rs/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
RustCrypto/traits
Collection of cryptography-related traits
CryptDB/cryptdb
A database system that can process SQL queries over encrypted data.
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
mpc-msri/EzPC
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
iqlusioninc/tmkms
Tendermint KMS: Key Management System for Tendermint Validators
starkware-industries/stark101
openstack/barbican
Barbican is a ReST API designed for the secure storage, provisioning and management of secrets, including in OpenStack environments. Mirror of code maintained at opendev.org.
jinbooooom/linux
linux 编程环境学习笔记,含 linux 基本命令,linux 操作系统,linux 下 C++ 编程等
NVlabs/CGBN
CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups
snarkify/sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
enricobottazzi/zk-fhe
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
Antalpha-Labs/zkp-academy
A month-long zkp study group, one topic at a time.
privacy-scaling-explorations/greco
microsoft/Kuku
Kuku is a compact and convenient cuckoo hashing library written in C++.
china-testing/python-testing-examples
python测试开发实例
lattice-based-zkSNARKs/lattice-zksnark
lattice-based zkSNARKs over libsnark [ISW21]
antoniocgj/MOSFHET
MOSFHET: Optimized Software for FHE over the Torus
SNUCP/celpc
Rust Code for CELPC
havogt/cuda_gtest_plugin
Provides unit tests using googletest inside kernel code
CQCL/random_test
This repository contains some scripts to help you install and run statistical tests of randomness.
TrustworthyComputing/PEEV-verifiableFHE
Parse Encrypt Execute Verify - A Verifiable FHE Framework
yassimert/LUNA
LUNA: Quasi-Optimally Succinct Designated-Verifier Zero-Knowledge Arguments from Lattices
msh086/BGV-Boot-for-Large-p
The code for https://eprint.iacr.org/2024/115.