The Python script simulates secure key exchange through quantum cryptography, featuring a GUI for message input, encryption with QKD techniques, and visualising the encrypted and decrypted outcomes.

This code simulates a Quantum Key Distribution Protocol (specifically, BB84) using a popular network visualizer Mininet.

Client that tracks CIDs in the IPFS network pinning and requesting them to see for how long are they accessible.

A collection of Bristol format circuit files

Narwhal & Tusk are a high throughput mempool & consensus, used in the Sui smart contract platform

Spartan: High-speed zkSNARKs without trusted setup

This is a collection of some Pinocchio's circuit inputs, through which one can compile and output Pinocchio's circuits.

人人网小黄鸡 (deprecated)

Backend of testing Andrew Miller's blockhashes contract.

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

Theoretical solutions for LeetCode problems.

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

This toolkit can take a program written in a Turing-complete subset of C, and translate it into Verilog with considering the provided resource constrains

The Honey Badger of BFT Protocols

A Java framework to write circuits/constraints for zk-SNARKs.

Java implementation of the Ethereum yellowpaper

Storage repo for Solidity contracts, tests, and docs.

Java realization for Ciphertext-Policy Attribute-Based Encryption

Java implementation of DET-ABE, a security scheme that implements the "Digital Envelope Technique", where bulk encryption of files is done using AES and the AES-key is protected using CP-ABE encryp…

DEPRECATED! Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony