sorasuegami Goto Github PK

accumulator-rs

Cryptographic Accumulators in No-Std WASM supported Rust

babyjubjub-rs

BabyJubJub elliptic curve implementation in Rust

circom

Circuit compiler for zkSNARKs

circom-compat

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

circom-uniplonk

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

circom_runtime

circom runtime

circuit_converters

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

degov_contract

Smart contracts for DeGov(Decentralized Governance), written in Solidity.

dkim

DKIM (RFC6376) implementation

easy_ffi

An unwind-safe ergonomic ffi wrapper generator for Rust

fhew

garbled_circuit_framework

A framework for garbled circuit schemes

garbling-llc

Github Pages for the website of Github LLC.

halo2

halo2-base64

Base64 decoding circuit in halo2

halo2-dynamic-sha256

SHA256 verification circuit in halo2 supporting dynamic length input.

halo2-fri-gadget

A FRI verifier circuit for the Halo2 proof system

halo2-lib

Monorepo of halo2 crates

halo2-native-ec

Halo2 circuits for elliptic curves whose base field is native, e.g., babyjubjub curve.

halo2-regex

Library and gadget to do regex string matches in halo2

halo2-rsa

RSA verification circuit using halo2 library.

halo2-snark-aggregator

halo2 aggregator circuit & solidity verifier

halo2_eddsa

A EDDSA verification circuit using halo2 library.

halo2curves

ic-evm-sign

A library to sign EVM transactions on the Internet Computer.

libtool-rs

build script helper to automatically generate libtool convenience library (.la) files.

mimc-rs

MiMC hash function

neptune

Rust Poseidon implementation.

octopus-contract-paper

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

pdcn_contract

Contracts for PDCN, written in Solidity