Hideaki Takahashi's repositories
circom-sorting
Circom implementation of sorting algos
circom2llvm
Compile circom code to llvm partially
DnD
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
KoukyosyumeiResume
Minimalist Hugo template for academic websites
libjpeg-turbo
Main libjpeg-turbo repository
masa-zkSBT
A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.
ntru-circom
NTRU (post-quantum asymmetric lattice) encryption in Javascript and Circom
passport-zk-circuits
Verifying biometric passports with zero knowledge proofs (SNARKs)
pcre2
PCRE2 development is now based here.
pil-stark
Generates a stark from a pil
proof-of-twitter
Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.
tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
tzer
Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
zk-p2p
A trustless P2P fiat onramp powered by ZK proofs.
zk-pay
Minimalistic Payment verification system using zk-SNARKs
zk-regex
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
zk-template
circom template to work with hardhat circom
Zkp-voting
zkpVoting is a decentralized voting platform built using Zero-Knowledge Proofs (ZKPs) to ensure privacy and security in voting processes. It allows users to cast votes anonymously, ensuring that votes remain confidential while still being verifiable.
zksnarks-library
Library of zkSNARKS circuits written in the Circom language.