Sora Suegami

halo2-rsa. RSA verification circuit using halo2 library.

voice_recovery_circuit. A circuit to verify the voice recovery process.

iOMaker. [WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf

Vreath. Popularizer of Blockchain Technology

zkboogie. Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.

octopus-contract-paper. A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.

halo2-dynamic-sha256. SHA256 verification circuit in halo2 supporting dynamic length input.

zkboogie-client-bench. A benchmark website for client-side proving with zkboogie

accumulator-rs. Cryptographic Accumulators in No-Std WASM supported Rust

rust-searchable-pke. Rust library of Public Key Searchable Encryption schemes.

PDCN_contract. Contracts for PDCN, written in Solidity

rust-paillier. A pure-Rust implementation of the Paillier encryption scheme

circom-uniplonk. UniPlonk verification circuit in circom. https://eprint.iacr.org/2023/869

TBTE. Tag-based Batched Threshold Encryption (TBTE)

halo2-fri-gadget. A FRI verifier circuit for the Halo2 proof system

dkim. DKIM (RFC6376) implementation

circuit_converters. Convert various types of boolean/arithmetic circuits to a specified format.

PDCN_cortexM. Wasm and Remote Attestation in ARM TrustZone

halo2-regex. Library and gadget to do regex string matches in halo2

zkrollup_tutorial. Tutorial of ZKRollup written in circom.