zk-s[nt]arks


Topic Replies Activity
Nothing-up-my-sleeve computations 4 November 7, 2018
Shorter Merkle proofs for Snapps 1 November 1, 2018
"https" in blockchain: Verifiable Formal Verification of Smart Contracts 4 October 30, 2018
Are STARKs ready for recursion? 5 September 21, 2018
Zero-Knowledge Proof of Membership 5 August 26, 2018
OpSec for building/operating an chain anonymously? 4 February 15, 2018
SNARKs/STARKs and eventually-cryptographic proofs 1 January 23, 2018
Zero-knowledge before execution 5 December 19, 2017