Skip to content
View changshenhan's full-sized avatar
2 followers · 3 following

Block or report changshenhan

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
changshenhan/README.md

Profile Views

Han changshen

Proof of What Can Be Proven — Between Circuits and Agents

Identity

CUHK (computer engineering) · Founder of NeuralZoo · Contributor to ezkl with a merged/ongoing PR for optional custom PWL lookup tables (Sigmoid replacement, input-range enforcement, soundness checks).
Focus: verifiable inference, ZKML circuits, custom lookup tables, privacy-preserving inference, AI agents.

Currently researching

🔬 Secure Tensor Inference Protocol — private LLM inference; server only sees permuted tensors. (STIP-MLX, Apple Silicon / MLX)

Selected Works

By underlying logic: Circuit (ZK / lookup), Agent (structured flows), Simulation (privacy / inference).

Logic Project Core technical challenge
Circuit ezkl Pluggable PWL lookup in Halo2 circuits; JSON-defined table replaces built-in Sigmoid with input-range and soundness checks.
Circuit ezkl-custom-lookup-experiment Quantile-based PWL breakpoints and full prove/verify pipeline; built-in vs custom lookup compared end-to-end.
Circuit zkml_lookup_experiment Sigmoid lookup vs PLA: circuit size vs accuracy trade-off and metrics (e.g. 1–2 orders of magnitude with custom PWL).
Simulation STIP-MLX Block-diagonal permutation so the server only sees permuted tensors; private LLM inference on Apple Silicon with MLX.
Agent relationship-consultant-agent Agent pipeline for structured consultation flows.

Toolbox

Language Zero-Knowledge AI / ML Robotics
Rust · TypeScript · Python Halo2 · ezkl · PWL lookup · zk-SNARKs PyTorch · ONNX · MLX —

Stats

GitHub Stats Top Languages

GitHub · NeuralZoo

Wabi-sabi, Tengen — Between Verifiability and Unsayability

Pinned Loading

  1. YONDER YONDER Public

    TypeScript 1

  2. STIP-MLX STIP-MLX Public

    Python 1

  3. ezkl-custom-lookup-experiment ezkl-custom-lookup-experiment Public

    Python 1

  4. ezkl ezkl Public

    Forked from zkonduit/ezkl

    ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

    Rust 1

  5. Echoes-of-the-East Echoes-of-the-East Public

    Unity 3D Web Game

    C# 1

  6. relationship-consultant-agent relationship-consultant-agent Public

    Python 1