sCrypt presents a simple NFT example using recursive SNARKs, which can be extended to a directed acyclic graph (DAG), rather than a chain of transactions.
In this article, sCrypt presented the recursive Zero-Knowledge Proofs (ZKPs), where a proof attests to the validity of another proof.
Zokrates is a toolbox for zkSNARKs, hiding significant complexity inherent to ZKP, and provides a python-like higher-level language for developers to code the computational problem they want to prove.
Games with incomplete information can be developed on Bitcoin today since sCrypt has implemented zk-SNARKs.
sCrypt reimplement ZKKSP by leveraging the programmability of zkSNARKs. They simply combine elliptic curve point multiplication used in Part 2 and hashing library that resulted to Circom code.
sCrypt founder and CEO Xiaohui Liu marveled at how Bitcoin is open-source and lets rival networks take from it what they can, but to date, no one has developed a better network than Satoshi.
sCrypt shows how to implement another sophisticated cryptographic primitive by simply “programming” it in zero knowledge language Circom: ring signatures.
Developing a ZKP for a problem often requires the invention of a whole new cryptographic algorithm. It has no standard recipe and requires extensive and in-depth knowledge of cryptography.
sCrypt CEO Xiaohui Liu pointed out that smart contracts were part of Satoshi’s vision back in 2009, but the BTC cartel pushed them out so they could curtail BTC to mere speculation.
The MiMC hash function is specifically designed to minimize circuit size and thus ZKP cost by using only additions and multiplications.
The event will have a full day of presentations from elite guests and another day of a developers’ workshop, with Lise Li and Xiaohui Liu among the guests.
After attending the BSV Global Blockchain Convention, David Capablanca had a chance to meet some BSV personalities, and this week he reconnected with Xiaohui Liu to delve deeper into BSV.
