09-20-2024
Xiaohui Liu
Author
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
-
26 September, 2022
Zero-Knowledge private machine learning on Bitcoin
The application of Zero-Knowledge Proof machine learning on Bitcoin's neural networks allows sensitive data to be kept private while its...
-
22 September, 2022
Introducing zkBattleship: The world’s first interactive Zero-Knowledge Proof tutorial
sCrypt is excited to introduce zkBattleship, the world’s first and only interactive ZKP tutorial, aimed at developers who want to...
-
13 September, 2022
Running deep neural networks on Bitcoin
sCrypt implemented a deep neural network for the classification of handwritten digits trained offline using the MNIST dataset of handwritten...
-
21 August, 2022
Scalable peer to peer tokens on Bitcoin: Solve the back-to-Genesis problem using recursive SNARKs
sCrypt presents a simple NFT example using recursive SNARKs, which can be extended to a directed acyclic graph (DAG), rather...
-
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.
-
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...
-
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.
-
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...
-
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.
-
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...
-
13 July, 2022
ZK-friendly hash function MiMC in Bitcoin
The MiMC hash function is specifically designed to minimize circuit size and thus ZKP cost by using only additions and...
-
4 July, 2022
ZK-Rollups on Bitcoin: Way more scalable than on Ethereum
In this post, sCrypt implemented the first-ever ZK-Rollup (ZKR) directly on Bitcoin. They also showed why ZKR works better on...
Recommended for you
sCrypt previously implemented Bitcoin covenants using OP_CAT, based on this Schnorr trick, which they say can greatly simplify signature calculation...
September 3, 2024
A recursive covenant applies to the immediate transaction and subsequent transactions that spend the bitcoins, meaning the imposed conditions could...
July 8, 2024
