SoraSuegami
Ethereum / cryptography (zero-knowledge proof system, secure computation, cryptographic obfuscation.)
The University of TokyoTokyo, Japan
Pinned Repositories
circuit_converters
Convert various types of boolean/arithmetic circuits to a specified format.
halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
halo2-rsa
RSA verification circuit using halo2 library.
octopus-contract-paper
A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.
rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
rust-searchable-pke
Rust library of Public Key Searchable Encryption schemes.
vdf_for_ethereum
Simple RSA VDF in Rust
voice_recovery_circuit
A circuit to verify the voice recovery process.
Vreath
Popularizer of Blockchain Technology
zkboogie
Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.
SoraSuegami's Repositories
SoraSuegami/halo2-rsa
RSA verification circuit using halo2 library.
SoraSuegami/voice_recovery_circuit
A circuit to verify the voice recovery process.
SoraSuegami/zkboogie
Rust library for ZKBoogie, ZKBoo-based ZKP scheme optimized for client-side proving and its recursion.
SoraSuegami/octopus-contract-paper
A paper of Octopus contracts, smart contracts that operate ciphertexts outside the blockchain using signature-based witness encryption.
SoraSuegami/halo2-dynamic-sha256
SHA256 verification circuit in halo2 supporting dynamic length input.
SoraSuegami/zkboogie-client-bench
A benchmark website for client-side proving with zkboogie
SoraSuegami/accumulator-rs
Cryptographic Accumulators in No-Std WASM supported Rust
SoraSuegami/circom-uniplonk
UniPlonk verification circuit in circom. https://eprint.iacr.org/2023/869
SoraSuegami/rust-searchable-pke
Rust library of Public Key Searchable Encryption schemes.
SoraSuegami/dkim
DKIM (RFC6376) implementation
SoraSuegami/halo2-fri-gadget
A FRI verifier circuit for the Halo2 proof system
SoraSuegami/halo2-regex
Library and gadget to do regex string matches in halo2
SoraSuegami/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
SoraSuegami/Garbling-LLC
Github Pages for the website of Github LLC.
SoraSuegami/halo2-base64
Base64 decoding circuit in halo2
SoraSuegami/halo2-lib
Monorepo of halo2 crates
SoraSuegami/halo2-native-ec
Halo2 circuits for elliptic curves whose base field is native, e.g., babyjubjub curve.
SoraSuegami/ic-evm-sign
A library to sign EVM transactions on the Internet Computer.
SoraSuegami/plonk-verifier
SoraSuegami/plonky2-crypto
Crypto Gadgets for Plonky2
SoraSuegami/poseidon
SoraSuegami/poseidon-rs
Poseidon hash function
SoraSuegami/reqwasm
HTTP requests library for WASM Apps
SoraSuegami/rust-kzg
Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)
SoraSuegami/sonobe
Experimental folding schemes library
SoraSuegami/wax
Wallet Account eXperiments Monorepo
SoraSuegami/zero-knowledge-gadgets
Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
SoraSuegami/zkevm-circuits
SoraSuegami/zkml
SoraSuegami/zkrollup_tutorial
Tutorial of ZKRollup written in circom.