[Arun]探究
building ML from first principles · prev. ZK & cryptography
⠰⢡⠄⡀⠀⠄⢀⠠⠀⠀⡀⠠⠀⠀⠂⠀⠀⢀⢖⢢⡀⠀⢀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⠄⢀⠴⣈⠦⡑⡌⠦⡑⠀⠀⠀⠀ ⠈⠢⠱⠡⡀⠠⠂⠀⠀⢀⠀⠀⡀⠠⣄⣠⡀⠀⠈⠣⣓⢥⠀⠈⠄⡁⠂⠑⠰⡀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⢂⠐⡄⢣⠒⡴⢫⠑⣌⠒⠁⠀⠄⠀⠀ ⠀⡁⠂⠀⠈⠁⠄⠀⠀⠈⠀⡡⠂⡟⣜⢲⡙⣆⠀⠀⠙⣎⢮⡰⠄⡀⠡⠈⠄⠠⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢀⠀⠀⠀⢂⠐⡀⠂⢀⠡⢣⠰⣁⠣⢌⠒⠐⠁⠀⠀⠀ ⡄⠠⣁⠀⠀⠀⠈⠁⠀⠀⠀⠡⠡⠘⣎⢳⡹⡜⡆⠀⠠⠹⣌⡳⢇⠠⢀⠁⢂⠁⠌⡀⢡⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠁⠈⢆⡁⠀⠴⣠⢒⠀⢢⠑⣌⠲⣈⠱⠄⣁⠀⠀⠀⠀⠀ ⢯⡽⢂⠆⡀⢆⠇⠀⠀⠁⠀⠠⢍⠐⣎⢧⠳⣍⠧⠀⠀⠠⠙⡼⣹⠔⠠⢈⠠⠐⠠⠠⢄⠂⠀⠀⠀⠀⠀⡀⢀⠐⡀⠀⢈⠆⡜⠀⠀⠀⠰⢆⣠⠀⠀⠱⡈⠰⠐⡀⡀⠂⠀⠀⠊ ⢺⡜⡆⢳⡜⠎⠢⢡⠲⡠⢐⡀⠡⣂⠙⣮⠹⣜⡒⠀⠀⠀⠀⠳⣍⠳⠀⢂⠐⠈⠠⢉⡌⠂⠠⠀⠀⠀⠐⡀⠂⠐⠀⠀⠨⠜⡐⡄⠀⠀⠀⠈⡟⣢⢄⠈⠀⠄⢈⡀⢆⠔⠀⠀⠀ ⠳⣎⢳⡙⠾⣴⠲⣕⡐⢎⠢⡑⢠⢀⠀⢂⡟⡼⠘⡄⠀⠀⠀⠁⠂⠃⠈⡀⠌⠠⢁⠠⠀⢂⠁⠀⠀⠀⠁⠀⡀⠀⢘⢄⠨⡱⠌⠽⡀⢀⠀⠃⠘⢡⠿⣤⠴⡁⢁⠔⠁⠀⡀⠀⠁ ⠹⣜⣣⡳⡝⣦⠻⡜⠶⣌⢳⢅⣂⠬⡑⡀⢧⡹⡝⢦⢀⠀⠀⠀⠈⠀⠐⠠⢀⠡⢀⠐⢈⠠⠐⠀⠀⠀⠀⡇⠤⡈⢥⠊⡴⢡⢂⣶⠣⠂⠄⠀⠀⠸⣍⣟⣔⡔⠁⠀⠢⠈⠀⠀⠄ ⠱⡈⠖⣝⠎⢆⡙⠹⡹⣜⢫⠞⠼⣒⠶⢱⡁⢦⣝⢫⠖⣥⠃⡆⡀⠀⠀⠐⠀⡐⠠⠈⡀⠐⡈⠀⠀⠀⠀⠸⡐⡉⢆⠑⠂⠁⢪⡿⡁⡀⠘⠀⠀⠀⡗⣼⣿⡇⠀⢀⠐⠠⠀⢈⠀ ⠰⢡⠍⢆⠈⣀⠈⠑⠄⠈⠋⠉⠐⠘⠈⠁⠐⢫⠼⣩⠞⣖⠻⣜⣱⠀⠀⠀⠐⠀⠄⠡⢀⠡⠐⠠⠀⠀⠀⠀⠣⠉⡀⠐⡈⢐⢧⡿⣕⠃⡀⠈⢀⣀⡆⢿⣻⠣⡄⠠⢈⠀⠀⢂⠀ ⢱⡈⢎⡆⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠁⠛⢈⠱⡎⣖⢫⠄⢄⠀⠈⠐⡀⠂⠄⠂⠁⠀⠀⠀⠀⠡⠐⡀⠡⢀⠘⣦⡓⡾⣈⢦⡒⢧⣙⢆⡏⢧⡳⢥⢲⣄⠀⠐⡀⠀ ⠌⠳⠈⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡻⣜⢣⣎⢢⣂⠀⠐⢀⠁⠂⠁⠀⠀⠀⢠⠠⢡⠤⡀⠁⠄⣸⠲⣍⡳⣍⢶⠙⠣⠝⣎⢞⣣⠟⣬⢓⣎⢦⡁⠄⠀ ⠀⠂⠀⠀⠀⠔⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠡⠼⣌⠗⣎⠆⢀⠂⠌⠠⠁⠀⠀⠀⠀⠈⠆⠦⠁⢀⡞⣖⠻⢬⠓⠉⠀⠀⠀⠀⠀⠉⠀⠻⢬⡳⢎⡞⣭⠏⠀ ⠀⠀⠀⠀⠏⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣍⠾⣜⡣⢅⠂⠠⠁⢂⠀⠀⠀⠐⠤⣙⠀⠄⢪⠵⣎⠅⠁⠀⠀⠀⠀⠠⠀⠀⠀⠀⠀⠀⠩⣳⠺⣥⢛⡇ ⠀⠀⠀⡹⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠱⢎⡵⢎⡳⠀⠁⢂⠠⠀⠀⢉⡒⢡⠀⠈⣎⠳⠁⠀⠀⠀⠀⠀⠀⠀⠀⠠⡀⠀⠀⠀⠈⠒⠉⠖⢋⡆ ⠀⠀⠀⠣⠀⢀⠖⠀⠀⠀⠀⠀⠀⠀⠀⠀⠐⢦⣤⡆⠀⠀⠀⠀⠀⠀⠀⠀⠺⣕⢮⠣⠀⠐⠈⠰⠀⠰⣈⢇⠊⠀⣀⠏⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠑⡀⠀⠀⠀⠀⠀⠄⠈⢁ ⠀⠀⠀⡱⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠈⠛⠀⠀⠀⠀⠀⠀⠀⠀⠀⠙⡜⣮⢝⣆⠀⠀⠣⢄⠒⠴⣈⠚⡀⡞⡈⠀⠀⠀⠀⠀⠀⠀⠀⡀⠀⡀⠀⠘⡀⠀⠀⠀⠡⢀⠀⠀ ⠀⠀⠀⠀⠅⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡜⠺⡜⡼⠀⠀⠘⠀⠀⠀⠀⠣⡐⣩⠇⠀⠀⠀⠀⠀⠀⠀⠀⠙⡶⠃⠀⠀⡄⠀⠀⠀⡐⡀⠄⠀ ⠠⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠌⠁⠀⠀⠀⠀⠀⠀⠀⠀⠀⠧⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠐⠤⡡⠀⠀ ⠀⠡⠀⠄⠡⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠂⡄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⠀⢡⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢈⢒⢡⢃⠀ ⠈⠁⠑⠒⠠⠌⣀⡀⠀⠀⠀⠀⠀⠈⠀⠀⠀⠀⠀⠂⢁⠠⡁⠀⠈⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡀⢠⠁⠠⢁⠀⠁⠡⢠⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢠⠨⢌⡂⠌⣀ ⢄⣀⡀⠤⢠⢉⡔⠬⢁⠒⠩⢄⡠⠜⠀⠋⢀⢂⢔⡰⢈⠖⡡⢄⡂⡀⢀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠘⡌⢆⠃⢀⠂⠄⠀⠀⠀⠘⠐⠦⠠⠀⢀⠐⠄⠂⢀⠀⠱⢀⠃⡪⠔⠊⡀ ⢌⠢⣑⠪⢍⠐⡒⢠⠤⣉⡤⢀⠀⡉⢒⠡⢊⠆⢆⡘⠔⠪⡑⠢⠑⡜⣂⠈⠄⠀⠀⠀⠀⠀⠀⠐⠑⠨⠜⣠⠃⢀⠂⠌⠀⠀⢄⡀⢄⠀⠀⢀⠢⡄⠬⡐⣀⡈⡠⠔⣉⢀⠠⠊⠀ ⢈⠖⡡⠎⠀⢊⠔⡠⣂⠔⠈⣩⠐⢋⠥⡜⠂⠈⠐⠈⠀⠁⠀⠀⢀⠒⠤⠃⢀⠀⠀⠀⠀⠀⢀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⢎⠒⠬⡘⠌⠡⢃⠣⢔⠁⠡⢘⣰⠚⠁⠤⡙⠄ ⢈⠦⣑⠂⠠⢀⠠⠀⠄⠩⠒⠤⢁⡲⠭⣀⠈⣀⢀⡔⣢⢖⡳⣒⢦⣍⠜⣡⠢⢄⡀⢀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⡠⢄⢣⣘⣌⠳⡴⣠⠁⠄⠐⠀⢠⠎⠕⣁⢦⠋⣵⢚⡇ ⢌⡒⠤⣁⢂⡀⢂⠍⠢⢄⠤⠂⠁⡈⠍⠒⣩⢇⣛⡼⢱⢮⡱⠭⠒⠊⢝⢦⠻⡜⡼⢤⡋⡌⣅⠢⠄⡄⠀⠀⠀⠀⢠⡘⠰⡌⢺⡔⣎⡟⣼⡱⣀⠴⣂⠱⠀⠂⠐⠈⢂⠓⣈⡡⡄ ⠢⠘⠡⣂⡐⠬⠁⡪⢒⠡⡄⢅⢢⠀⢠⠒⣃⠡⠖⢼⠩⠐⠀⢀⡀⠀⠀⡸⣍⣳⢹⢣⡝⠖⠤⣉⠚⡜⢢⠀⠀⡰⠡⢌⠣⢜⡳⣜⢣⣽⢳⣻⡜⠉⠉⡝⡦⡔⡓⠈⠀⠄⠳⠕⠃ ⠐⠊⠁⠀⢄⠧⢊⠂⠎⠱⣈⠜⢢⢁⠤⠊⠐⡢⠀⡈⠠⣜⡲⢭⠞⣭⢫⡕⠉⠐⢋⠣⠜⣈⠖⡡⢍⡰⠃⠂⠀⢡⠙⡤⢋⠼⡱⢎⡷⢬⡛⢮⡙⢧⣛⢬⡪⡀⠠⠔⢄⠤⠡⢈⡁ ⠀⠀⠀⡠⠈⠀⠀⠈⠁⠣⠄⠪⡁⡅⡀⡠⠊⣄⠓⡌⠥⠈⠑⠫⠈⠀⠀⠀⠄⣈⠌⡜⢡⠒⣌⠲⡄⠅⢀⠂⠀⠠⢓⠤⢃⡜⢣⢟⡘⠥⡏⢧⣋⠷⣘⠒⠥⡙⣧⣑⠋⢗⣄⢢⠁ ⠀⠠⠊⠀⠀⠀⠀⠀⠀⠀⠜⠠⠑⡢⠊⠰⢉⠄⠂⠀⠀⠄⠀⠘⠬⡀⠐⠢⠱⠌⢊⠔⠣⠩⠐⠀⠠⠐⠀⠀⠀⠘⠐⡊⠥⠘⢂⠟⠠⠓⠸⠠⠜⠰⠡⠎⠱⠌⠰⠩⢚⠤⠚⢦⠃
[Projects]プロジェクト
[Selected work]精選
Madara Orchestrator
Orchestration service for the Madara Starknet stack — block processing, proof generation, data submission and state transitions.
Rust · 24 merged PRs
Avail — Enigma DA
Data-availability layer for Avail's Enigma.
Rust · 10 merged PRs
WHIR
Reed–Solomon proximity testing with super-fast verification — implemented WHIR 2.0 and zkWHIR 3.0 upstream at World Foundation.
Rust · 6 merged PRs
ProveKit
World Foundation's client-side zero-knowledge proving toolkit.
Noir · Rust · 6 merged PRs
Convolutions
CNN building blocks from scratch — LeNet and AlexNet reproduced in PyTorch.
PyTorch · Jupyter Notebook
Embeddings (word2vec)
word2vec reimplemented in PyTorch — skip-gram, negative sampling and subsampling. Mikolov et al. 2013.
PyTorch · Jupyter Notebook
Everything below is open :) fork it, build on it, or reach out.
[AI / ML]機械学習
From-scratch implementations and applied experiments. Pairs with the write-ups over on /blogs.
[AI / Machine Learning]機械学習
Convolutions
Hands-on implementations of CNN building blocks — LeNet and AlexNet reproduced in PyTorch.
PyTorch · Jupyter Notebook
Embeddings (word2vec)
word2vec reimplemented in PyTorch — skip-gram with negative sampling, frequent-word subsampling and the 3/4 noise distribution. Paper refs: Mikolov et al. 2013.
PyTorch · Jupyter Notebook
Bengio et al. '03
Reproduction of the classic 'A Neural Probabilistic Language Model' (Bengio, 2003) in PyTorch with improved perplexity over the reported baseline.
PyTorch · Jupyter Notebook
GPU Compute Prediction
Predicting SGEMM GPU-kernel runtime from its tuning parameters (UCI SGEMM dataset) — a regression pipeline with a small PyTorch MLP.
PyTorch · Jupyter Notebook
Perceptrons
A full implementation of MLPs using numpy from scratch with optimisers and losses.
Python
Autograd
A minimal automatic-differentiation engine built from scratch to understand backpropagation end to end.
Python · Jupyter Notebook
Regularization
Hands-on experiments comparing regularization techniques and their effect on generalization.
Jupyter Notebook
Softmax Regression
From-scratch softmax regression with a full classifier project, implemented without relying on an ML framework's autodiff.
Python · Jupyter Notebook
[Mathematics]数学
[Previously — Systems, ZK & Security]以前
Earlier work at the proving layer: merged PRs across the ZK, Starknet / Madara, and Avail ecosystems, plus personal blockchain and security projects.
[ZK / Cryptography]暗号
[Starknet / Madara]
Madara
Madara is a powerful hybrid Starknet client written in Rust.
Rust · 3 merged PRs
Madara Orchestrator
Additional service running in parallel to Madara that handles block processing, proof generation, data submission and state transitions.
Rust · 24 merged PRs
Madara Bootstrapper
Tool to deploy the Token Bridge & Eth Bridge contracts between a Madara/Katana appchain and another L2 or L1 network.
Rust · 8 merged PRs
SNOS
Rust library for running the Starknet OS via the Cairo VM.
Rust · 1 merged PR
Vault
Self-custody Starknet vault — empower your assets, redefine control.
Swift · 2 merged PRs
Zaun
Solidity contracts for the Starknet Decentralized Protocol proposal.
Solidity · Rust · 8 merged PRs
[Avail]
[Blockchain]連鎖
JMT(Jellyfish Merkle Tree) Multiproof
Implemented the JMT Multiproof in Rust.
Rust
SideKick.ai
ZK verified LLM platform to make a seamless and trustful network that can be integrated with government websites to fill complex forms.
Python · TypeScript · ZK
BTC VM Study [₿]
₿ : Fun with BTC , BTC VM, ZK-STARK Provable BTC VM (coming soon......)
Rust · Bitcoin Script · ZK-STARKS
ZK
This repository includes all the code implementations for zk-snark verifying systems from simple arithmetics behind it to the circuit design and working.
Sage · ZK · Circom · Python · Jupyter Notebook
Uzumaki
Uzumaki is an open-source benchmarking suite for zero-knowledge (ZK) proof systems. Our goal is to provide standardized benchmarks and comparative analyses to drive innovation and adoption of ZK technologies.
Rust · ZK · Python
HyperSDK
Hyper Bridge Project: Seamlessly links Base & Optimism blockchains via Layer Zero Router. Swap native & wrapped tokens effortlessly. Empowers devs with user-friendly SDK for cross-chain interaction. Unlocking DeFi potential & blockchain adoption.
Solidity · Layer Zero · Uniswap-v3 · Typescript · Ethers.js
[Cyber Security]安全
Binary Analysis/Exploitation
Basic binary exploitation | Working of Malwares/Binaries | Obfuscation to avoid antivirus | Parser Differential to avoid analysis of Binary/Malwares
Assemblyx86 · Python · Radare2
Google CTF - Beginners Quest
This contains the solutions for the google ctf beginners quest with the full code and explanation
Python
Keylogger ⌨
Keylogger made with python including mailing and encryption services to get the user info and keylogs in a formated way.
Python
[Docs & Templates]文書
IPFS dump repo
This repository contains all the feature examples with IPFS using helia and ipfs-js. This repository contains the documentation of all the components in IPFS and how they are used by the infrastructure
JavaScript
Aptos Move
Move Programming Language | Aptos Blockchain | Move Contract Deployment (APTOS - DEVNET, TESTNET) | Move Modules & Tests | Interaction | Non EVM
Move
Sui Move
Sui Move Programming Language | Sui Blockchain | Move Contract Deployment (SUI- DEVNET) | Sui Modules & Tests | Interaction | Non EVM
Move
Rust Lang
Rust Programming Language | Ownership | Error Handling
Rust
Solidity Cheatsheet
This is a cheatsheet for solidity containing all the basics and advanced concepts.
Markdown · Solidity
Docker Basics
This is a Docker Cheatsheet kind of to revise the concepts time to time and contains all the basic operations performed in docker and all the basic features
Docker · Shell
Kubernetes Basics
This is a Kubernetes Cheatsheet kind of to revise the concepts time to time and contains all the basic operations performed in kubernetes and all the basic features such as load balancing and pods concept
Kubernetes · Shell