Name: Hao-Chen (Moven) Tsai
Type: User
Company: Undergrad at National Taiwan University
Bio: NTU ECON/CSIE | Recently focused on lattice-based ZKP implementation | "Working hard on something uncomfortably exciting.
Twitter: moven0831
Blog: https://www.ntu.edu.tw/english/
Hao-Chen (Moven) Tsai's Projects
Making big AI models cheaper, easier, and more scalable
加LINE約吃飯,感情不會散
Tutorials on integrating FHE with nodes and smart contract development using fhEVM by Zama AI
Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARK.
Complete version of nodejs sample
C++ library for zkSNARKs (modified for [ISW21])
Demo code For 2021 NTU Fintech & Regtech Club
Middleware to compile Circom circuits to Nova prover
Photo Sensei: guard image integrity for publishing platform using Mina and o1js
A zero-knowledge protocol for anonymous signalling on Ethereum.
Fungible, Non-Fungible, Semi-Fungible Tokens Smart Contracts
Evernym Verity is a decentralized protocol platform for issuing and verifying digital credentials. This repo contains documentation and developer tools for using Verity. This is a read-only mirror. Contributions are welcomed at https://gitlab.com/evernym .
ZK-IA: In-browser ZK auth plugin for image integrity.
My solution to zkp-mooc-lab 2023.