sCrypt is excited to introduce zkBattleship, the world’s first and only interactive ZKP tutorial, aimed at developers who want to learn how to use it without diving into math-heavy theory.
Adopting the BSV blockchain in the infrastructure means adding a layer of simplification to the multi-layer architecture.
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.
The product is coming first to the city of Chengdu and will be developed by the Digital Research Institute, the Chengdu Longquanyi District Education Bureau and Tianfutong Financial Services.
The country's Ministry of Trade said the order is just the start and by the end of September, the use of digital assets and smart contracts will be ubiquitous.
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.
Nomad's smart contract that comprises the "bridge" for sending ERC-20 tokens between blockchains had a bug in it, allowing an initial attacker to begin draining funds from it into multiple wallets.
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 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.
