Blogger is a free blog-publishing tool from Google for easily sharing your thoughts with the world. Blogger makes it simple to post text, photos and video onto your personal or team blog.
CADP (Construction and Analysis of Distributed Processes) is a toolbox for protocol engineering. It offers a wide range of functionalities, from interactive simulation to the most recent formal verification techniques. It supports the LOTOS formal description technique, but other formalisms are accepted as well.
RingCT vs zk-SNARK: The Ultimate Guide to Monero and Zcash Privacy Mechanisms - unblock.net
It’s tragic that only ten years after the advent of Bitcoin we’re already making a genuine distinction between so-called private and non-private cryptocurrencies. Public-key cryptography is what made cryptocurrency possible and the founders of this revolutionary technology had only one… Continue reading RingCT vs zk-SNARK: The Ultimate Guide to Monero and Zcash Privacy Mechanisms
What is zkSNARKs? The Comprehensive Spooky Moon Math Guide
What is zkSNARKs: Spooky Moon Math. With ethereum entering the Metropolis phase, it is going to introduce various changes which are going to make it more abstraction and privacy friendly. One of those changes is the introduction of “Zero-Knowledge Succinct Non-Interactive Argument of Knowledge” aka Zk-Snarks. Zk-Snarks runs on the idea of zero knowledge proofs. -AMAZONPOLLY-ONLYWORDS-START- In this article, we are going to go through the idea of zero knowledge proofs and its application in the blockchain technology. What are zkSNARKs: Spooky Moon Math Zero Knowledge proofs came about in 198...
Introducing Sonic: A Practical zk-SNARK with a Nearly Trustless Setup – Bentham’s Gaze
In this post, we discuss a new zk-SNARK, Sonic, developed by Mary Maller, Sean Bowe, Markulf Kohlweiss and Sarah Meiklejohn. Unlike other SNARKs, Sonic does not require a trusted setup for each circuit, but only a single setup for all circuits. Further, the setup for Sonic never has to end, so it ca
Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many....
protocol - What flavor of zksnark in tezos - Tezos Stack Exchange
I have read that Nomadic Labs is working on incorporating some flavor of zksnarks into tezos for future amendment proposal (presumably in 2019). Looking at the literature I see there are many flav...
privacy - zk-SNARKs vs. Zk-STARKs vs. BulletProofs? (Updated) - Ethereum Stack Exchange
zk-SNARKs, Zk-STARKs and BulletProofs are three major zero knowledge proofs to provide privacy for the blockchain technology. If we can compare them, (1) Bulletproofs and Zk-STARKs require no tru...
Poly EagleEye Director II smart camera. People-tracking technology and HD video captures up to 1080p60 with pan, tilt and 12x optical zoom capability. 01792 515504