ZK-TLV 0x0a: Space, Time and Post-Quantum Proofs

Details

For our 10th event we are delighted to host a world renowned expert in Zero-Knowledge, also known for being a StarkWare and Zcash co-founder, Professor Alessandro Chiesa from UC Berkeley.
We also host Noam Nelke from Spacemesh who will present some exciting new results.
Below are talks abstract and speakers bio's.
-----------------------------------

Schedule:
- 6.00pm: greetings, food and drinks
- 6.30pm: A Framework for efficient STARKs \\ Professor Alessandro Chiesa
- 7.15pm: Non-Interactive Proof of Space-Time: Research and Implementation \\ Noam Nelke
-----------------------------------

The event will finish approximately at 8.00pm. Feel free to stick around afterwards for more networking.
-----------------------------------

Talks will be given in English.
-----------------------------------

Title:
A Framework for efficient STARKs

Abstract:
Alessandro will describe how scalable transparent arguments of knowledge (STARKs) can be constructed from cryptographic hash functions and probabilistic proofs. You will understand why this simple approach yields constructions of argument systems that are lightweight, transparent, and post-quantum.

Speaker bio:
Alessandro Chiesa is a faculty member in Computer Science at UC Berkeley. He conducts research in the areas of complexity theory, cryptography, and security, focusing on the theoretical foundations and practical implementations of zero knowledge proofs that are short and easy to verify. He is a co-inventor of the Zerocash protocol. He is co-founder of StarkWare Industries and Zcash.
-----------------------------------

Title:
Non-Interactive Proof of Space-Time: Research and Implementation

Abstract:
This talk will present Proof of Space-Time (PoST), a consensus protocol powering a decentralized ledger, where participants commit disk space over time as a scarce resource, instead of hash power. Existing cryptocurrencies have miners racing to create the next block, in a winner-take-all model. PoST is an alternative where miners publish a non-interactive proof of storing an amount of data over a period of time, making them eligible to create a certain number of blocks. This approach significantly reduces the energy consumption of the system, while making mining rewards linearly correlated to the investment in mining. This linear correlation means that home miners cannot be “priced-out” by industrial miners and there’s no incentive for pools to form.

Speaker bio:
Noam Nelke is a software engineer and Spacemesh core protocol developer. At Spacemesh, he’s building a PoW-free alternative to Bitcoin and Ethereum that levels the playing field, allowing home miners to fairly participate. This will make Spacemesh the first DLT with truly distributed, pool-free mining.