Cesare-Liu

Cesare-Liu

Geek Repo

Github PK Tool:Github PK Tool

Cesare-Liu's starred repositories

SPDZ-2

(Inactive, see readme) Multiparty computation with SPDZ, MASCOT, and Overdrive offline phases

Language:C++License:NOASSERTIONStargazers:211Issues:0Issues:0

LUNA

LUNA: Quasi-Optimally Succinct Designated-Verifier Zero-Knowledge Arguments from Lattices

Language:C++License:MITStargazers:2Issues:0Issues:0

python-testing-examples

python测试开发实例

Language:PythonStargazers:41Issues:0Issues:0

celpc

Rust Code for CELPC

Language:RustLicense:Apache-2.0Stargazers:11Issues:0Issues:0

zkp-academy

A month-long zkp study group, one topic at a time.

Language:PythonLicense:Apache-2.0Stargazers:58Issues:0Issues:0
Language:Jupyter NotebookStargazers:286Issues:0Issues:0

linux-sgx

Intel SGX for Linux*

Language:C++License:NOASSERTIONStargazers:1314Issues:0Issues:0

MOSFHET

MOSFHET: Optimized Software for FHE over the Torus

Language:CLicense:Apache-2.0Stargazers:12Issues:0Issues:0

Plonky3

A toolkit for polynomial IOPs (PIOPs)

Language:RustLicense:Apache-2.0Stargazers:417Issues:0Issues:0

sirius

A Plonkish folding framework for Incrementally Verifiable Computation (IVC).

Language:RustLicense:MITStargazers:113Issues:0Issues:0

zk-fhe

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme

Language:RustLicense:MITStargazers:108Issues:0Issues:0
Language:RustLicense:MITStargazers:61Issues:0Issues:0

PEEV-verifiableFHE

Parse Encrypt Execute Verify - A Verifiable FHE Framework

Language:C++Stargazers:3Issues:0Issues:0

traits

Collection of cryptography-related traits

Language:RustStargazers:554Issues:0Issues:0
Language:C++License:MITStargazers:391Issues:0Issues:0

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.

Language:PythonLicense:Apache-2.0Stargazers:235Issues:0Issues:0

Kuku

Kuku is a compact and convenient cuckoo hashing library written in C++.

Language:C#License:MITStargazers:60Issues:0Issues:0

random_test

This repository contains some scripts to help you install and run statistical tests of randomness.

Language:ShellLicense:MITStargazers:3Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:750Issues:0Issues:0

cuda_gtest_plugin

Provides unit tests using googletest inside kernel code

Language:C++License:MITStargazers:7Issues:0Issues:0

BGV-Boot-for-Large-p

The code for https://eprint.iacr.org/2024/115.

Language:C++License:MITStargazers:1Issues:0Issues:0

arrayfire

ArrayFire: a general purpose GPU library.

Language:C++License:BSD-3-ClauseStargazers:4512Issues:0Issues:0

tmkms

Tendermint KMS: Key Management System for Tendermint Validators

Language:RustLicense:Apache-2.0Stargazers:328Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:32313Issues:0Issues:0

lattice-zksnark

lattice-based zkSNARKs over libsnark [ISW21]

Language:C++License:MITStargazers:25Issues:0Issues:0

linux

linux 编程环境学习笔记,含 linux 基本命令,linux 操作系统,linux 下 C++ 编程等

Language:C++License:GPL-3.0Stargazers:229Issues:0Issues:0

cryptdb

A database system that can process SQL queries over encrypted data.

Language:PHPLicense:NOASSERTIONStargazers:497Issues:0Issues:0

CGBN

CGBN: CUDA Accelerated Multiple Precision Arithmetic (Big Num) using Cooperative Groups

Language:CudaLicense:NOASSERTIONStargazers:198Issues:0Issues:0

tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

Language:C++License:MITStargazers:7778Issues:0Issues:0

ministark

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Language:RustLicense:MITStargazers:339Issues:0Issues:0