Efficient zk-SNARKs on Bitcoin: Technical explainer
After all the optimizations, sCrypt was able to cut the Script size of pairing by 100X to 5MB, and they are exploring more optimizations to reduce it.
Latest smart contracts News
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 learn how to use it without diving into math-heavy theory.
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 digits.
Brazil’s central bank endorses Itaú’s DeFi liquidity pool proposal
The platform will deploy blockchain and smart contracts in asset custody, currency exchange, and alternative investment financial services and would work similar to liquidity pools on DeFi protocols.
Enterprise-level demands on blockchain
Adopting the BSV blockchain in the infrastructure means adding a layer of simplification to the multi-layer architecture.
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 than a chain of transactions.
China: Bank testing e-CNY smart contract-enabled school fee payment in Sichuan
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.
Iran using digital currencies to pay for imports, with first order at $10M
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.
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.
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 to code the computational problem they want to prove.
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.
Nomad cross-chain bridge wiped out for nearly $200 million—When will they learn?
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.