I have four years of experience in the security and cryptography industry, having worked at Huawei's 2012 Lab, Bitverse, and Chiplite. I was responsible for the security features of TEE and the certification of cryptographic primitives.
Subsequently, I co-founded a project with Plancker DAO focused on ZKP acceleration.
My current personal interest is to contribute learning materials and content related to ZKP and cryptography-related content.
Projects
ZKVendor
Apply ZK in our daily lifeRaspberry Pi, Semaphorezklings
Onboarding zk-stuff with small exercisesRust, Circom, Snarkjs, Plonky3Skills
Python
Solidity
Rust
C
Shell
Experience
- CHIPLITE - BSP(BOARD SUPPORT PACKAGE) ENGINEER
Rambus crypto driver development
- Designed and implemented the communication protocol between the AST2600 and Chiplite's custom chip, enabling basic
cryptographic primitives.
- Implemented HASH function and assisted colleagues with the implementation of algorithms such as AES, RSA, and SM
(Chinese standard).".
- Huawei - BSP(BOARD SUPPORT PACKAGE) ENGINEER
December 2019 - November 2021
Cryptography primitives certification for high-end models such as Mate40 P40 (CCEAL and China CC certification)
- Played a key role in achieving Common Criteria EAL4+ certification by designing a comprehensive crypto testing
program for Linux kernel-crypto and Kirin SoC crypto units.
- Expert on related NIST documents
- Strengthened security against hardware-level threats by analyzing chip operating data to prevent side-channel attacks.
- Ensured software robustness through extensive testing techniques, including UT, fuzzing, cluster, and regression.
- Built a CA-TA channel to solve the problem of being unable to obtain the output logs of ARM CryptoCell in the secure
world from the non-secure world. This improved the visibility of the certification process by providing access to critical
information.
- Additionally, implemented specific test data injection techniques, optimized development and verification ef
- Plancker DAO - CTO
July 2023 - June 2024
Operating Plancker ZK Research Team (Archieved).
- ZKP researcher in several areas, including Plonk, Binius, and abstract algebra.
- compution acceletaion research, including MSM implention, hardware research.
- Created the roadmap and framework of our pubilc goods product