
Smart Contracts
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...
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...
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...
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.
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...
Recent
Trending
Most Views