Skip to content
View DoHoonKim8's full-sized avatar

Organizations

@privacy-scaling-explorations

Block or report DoHoonKim8

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Cyclotomic rings over STARK-friendly fields

Rust 8 1 Updated Feb 18, 2025

A rust implementation of the Falcon post-quantum signature scheme

Rust 14 2 Updated Nov 17, 2024

Falcon signature and its ZKP extensions

Rust 20 3 Updated Jul 5, 2022

no-std implementation of the Ajtai commitment scheme

Rust 7 Updated Feb 1, 2025

Rust Code for CELPC

Rust 15 Updated Feb 13, 2025

A Framework of Lattice-based Zero-knowledge Arguments in Rust

Rust 43 7 Updated Jan 6, 2025

Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol

Rust 80 21 Updated Feb 19, 2025

Oblivious sorting in SGX

C 8 2 Updated Dec 20, 2024

Verifiable FHE with GKR

Rust 25 2 Updated Oct 5, 2024

Implementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits

Rust 8 7 Updated Jun 23, 2024

Frobenius sumcheck for vectorized boolean ops

Rust 50 5 Updated Jan 28, 2025

a lattice lib for building snarks

Rust 21 3 Updated May 20, 2024

Oblivious key-value store based on Circuit ORAM

C 16 Updated Jan 8, 2025
TeX 4 1 Updated Dec 31, 2024

lattice-based zkSNARKs over libsnark [ISW21]

C++ 31 5 Updated Oct 18, 2024
Rust 241 16 Updated Feb 19, 2025

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SystemVerilog 7,877 600 Updated Aug 18, 2024

Mathematical Components

Coq 602 117 Updated Feb 19, 2025
Rust 299 113 Updated Feb 18, 2025

The fastest, most feature-complete zkVM for developers.

Rust 1,217 432 Updated Feb 19, 2025

(Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

Rust 292 43 Updated Feb 13, 2025

zkBitcoin: zero-knowledge proofs on Bitcoin!

Rust 165 32 Updated Aug 22, 2024

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,076 243 Updated Feb 20, 2025

Quantum Natural Proof

Coq 3 4 Updated Jan 24, 2024

An EVM interpreter in Dafny

Dafny 126 9 Updated Oct 24, 2024

A curated list of awesome quantum computing learning and developing resources.

2,700 416 Updated Jul 24, 2024

A symbolic testing tool for EVM smart contracts

Python 865 78 Updated Feb 19, 2025

SMT 2023 Submission; license pending

Rust 53 11 Updated Nov 19, 2024
Next
Showing results