zhangyingjie7
Follow
Stars
MAESTRO: Multi-party AES using Lookup Tables - Various oblivious AES protocols for passively and actively secure three-party secure computation
EasyCrypt: Computer-Aided Cryptographic Proofs
Repository accompanying the paper "Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+".
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
Repository for the XMSS reference code, accompanying RFC 8391, XMSS: eXtended Merkle Signature Scheme
The Eevee Family of AEAD modes for IoT-friendly encryption and MPC-friendly decryption
FLUTE: Fast and Secure Lookup Table Evaluations
A research project on isomorphisms of finite fields
This repository contains code and benchmark results to evaluate the SKINNY and PHOTON primitives in secure multi-party computation (MPC).
A Cryptographic Library for the Automated Analysis of Symmetric Primitives
An efficient, user-friendly, modular, and extensible framework for mixed-protocol secure multi-party computation with two or more parties
Sample code and build environments for MPC frameworks
A pure-Rust implementation of Bulletproofs using Ristretto.
TFHE: Fast Fully Homomorphic Encryption Library over the Torus
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizati…
A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
C++ Library for Mobile Private Contact Discovery
The world's simplest facial recognition api for Python and the command line
LaTeX package for typesetting pseudocode and cryptographic games
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.