Article by Xiaohui Liu
-
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...


