Smart Contracts

Create your first zero-knowledge proof program on Bitcoin: A practical step-by-step guide
-
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...
Incomplete information games on Bitcoin: Solving blockchain privacy dilemma using zero knowledge
-
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.
Nomad cross-chain bridge wiped out for nearly $200 million—When will they learn?
-
3 August, 2022

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
-
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...
Programmable zero knowledge proofs using zk-SNARKs: 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.
Programmable zero knowledge proofs using zk-SNARKs: part 1
-
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...
Advertisement