Xiang Xie's repositories

proof_of_custody_opt

MPC implementation of proof of custody

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

ciphercore

User-friendly secure computation engine based on secure multi-party computation

License:Apache-2.0Stargazers:0Issues:0Issues:0

carbon-lang

Carbon language specification and documentation.

License:NOASSERTIONStargazers:0Issues:0Issues:0

veri-zexe

DPC with Universal Setup

License:GPL-3.0Stargazers:0Issues:0Issues:0

ssv

Secret-Shared-Validator(SSV) for ethereum staking

License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

malachite

An arbitrary-precision arithmetic library for Rust.

License:LGPL-3.0Stargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

proof-systems

The proof systems used by Mina

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

cargo-specification

The code is the spec

Stargazers:0Issues:0Issues:0

zero-to-production

Code for "Zero To Production In Rust", a book on API development using Rust.

License:Apache-2.0Stargazers:0Issues:0Issues:0

eth2-book

A book about Ethereum

Stargazers:0Issues:0Issues:0

swanky

A suite of rust libraries for secure multi-party computation

License:MITStargazers:0Issues:0Issues:0

merlin

Composable proof transcripts for public-coin arguments of knowledge

License:MITStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

Awesome-zkEVM

zkEVM materials

Stargazers:0Issues:0Issues:0

proof_of_custody

MPC implementation of proof of custody

Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

Rosetta

A Privacy-Preserving Framework Based on TensorFlow

License:LGPL-3.0Stargazers:0Issues:0Issues:0

secp256k1

Optimized C library for EC operations on curve secp256k1

License:MITStargazers:0Issues:0Issues:0

lowmc

An implementation of the LowMC block cipher family.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0