Angold J. WANG
I believe blockchain ledger represents the lowest level of trust in society, and that's why we need it in the future.
While verifiable computing represents the most efficient way to force procedure, they complement each other.
About
I obtained my Bachelor's degree in Computer Science from HKMU and Master of Philosophy from HKBU. Currently, I'm the main trading system developer of Defi yield platform Vectis Finance.
Previously, I worked as a research assistant at CS@HKBU for 1.5 years, focusing on advancing ZK-Rollups protocols for EVM and exploring how verifiable computing can be leveraged to scale blockchain systems.
I'm passionate about understanding and crafting computer systems, I believe that compliexity can be managed through the right low-level abstractions. I've authored blogs exploring serveral system that I was intersted in CS: The design and implementation of operating systems (OSDI) like Minix3 and Xv6 (os), and documented my journey in building a C compiler named weicc.
2025
- Core Math for Verifiable Computing
- My Journey from Traditional Computer Science to DeFi
- Benchains: Bench-ZK Circuits Report
- Delta Neutral on Defi
- New Year's Resolutions (PDF only: ePrint)
- ZK-Rollups and Its Lightweight Implementation on Benchains
- Quadratic Arithmetic Programs, Elliptic Curves and ZK-SNARKs
- A Survey of Interactive Verifiable Computing (PDF only: ePrint ia.cr/2025/008)
2024
- Low-degree Polynomials, Knowledge Complexity, Sum-check Protocol and GKR Protocol
- Complexity Theory (NP-Completeness, Cook-Levin Theorem)
- Simplified Plasma Implementation using Hyperledger Fabric
- A Survey on Plasma
- Wrappers: A Gaming Platform for Benchmarking Layer 2 Blockchain Scalability on Hyperledger Fabric
- Implementating Benchains