Xiaohui Liu

Xiaohui Liu is the founder and CEO of sCrypt Inc., a company dedicated to providing integrated on-chain smart contracting solutions on BSV. Previously, he was a co-founder and the Chief Scientist at blockchain startup ContentBox. Before that, he was a Research Scientist at Facebook in the Connectivity Lab, conducting fundamental research to make internet access available throughout the world. He has a Ph.D. in Computer Science, specialized in peer-to-peer distributed networking. He has published multiple papers in premier conferences and journals. He also has one international patent.

Article by Xiaohui Liu

Recursive Zero-Knowledge Proofs: Proof of a proof of a proof…
-
8 August, 2022

Recursive Zero-Knowledge Proofs: Proof of a proof of a proof…

In this article, sCrypt presented the recursive Zero-Knowledge Proofs (ZKPs), where a proof attests to the validity of another proof.
Create your first zero-knowledge proof program on Bitcoin: A practical step-by-step guide
-
8 August, 2022

Create your first zero-knowledge proof program on Bitcoin: A practical step-by-step guide

Zokrates is a toolbox for zkSNARKs, hiding significant complexity inherent to ZKP, and provides a python-like higher-level language for developers...
Incomplete information games on Bitcoin: Solving blockchain privacy dilemma using zero knowledge
-
5 August, 2022

Incomplete information games on Bitcoin: Solving blockchain privacy dilemma using zero knowledge

Games with incomplete information can be developed on Bitcoin today since sCrypt has implemented zk-SNARKs.
Programmable zero knowledge proofs using zk-SNARKs: part 3
-
3 August, 2022

Programmable zero knowledge proofs using zk-SNARKs: part 3

sCrypt reimplement ZKKSP by leveraging the programmability of zkSNARKs. They simply combine elliptic curve point multiplication used in Part 2...
Programmable zero knowledge proofs using zk-SNARKs: Part 2
-
20 July, 2022

Programmable zero knowledge proofs using zk-SNARKs: Part 2

sCrypt shows how to implement another sophisticated cryptographic primitive by simply “programming” it in zero knowledge language Circom: ring signatures.
Programmable zero knowledge proofs using zk-SNARKs: part 1
-
18 July, 2022

Programmable zero knowledge proofs using zk-SNARKs: part 1

Developing a ZKP for a problem often requires the invention of a whole new cryptographic algorithm. It has no standard...