
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...
Recommended for you
As sCrypt says, these proposals aim to enable Bitcoin's limited functionalities rather than tackling the broader need for expressivity and...
February 12, 2025
sCrypt has created a smart contract operating similarly to the hashrate escrow mechanism in Bitcoin’s Drivechain proposal.
February 10, 2025