haroldlee

Harold Lee

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, Semaphore

zklings

Onboarding zk-stuff with small exercisesRust, Circom, Snarkjs, Plonky3

Skills

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