Friday Hacks #185, Nov 8: Proofs for scaling blockchain computation and Encoding images in Source
Posted on by Raynold Ng
Date/Time: Friday, Nov 1 at 7:00pm
Venue: Town Plaza Seminar Room 5, UTown, NUS
Succinct proofs for scaling computation on the blockchain
Verifying block transactions is computationally intensive and creates a throughput bottleneck for blockchain nodes. One area of active research in blockchain scalability is verifiable computation: this is where heavy computations are outsourced to a third-party, yet can still be verified remotely by a light client with limited resources. It works by requiring third-parties to produce succinct proofs of their computations: “succinct” because they can be verified using only a fraction of the proving time. We will explore two constructions, “Rollup” and “Rollup Non-Custodial”, which use SNARKs (succinct non-interactive arguments of knowledge) to verifiably outsource computation on the blockchain.
Ying Tong is a Physics graduate student at NUS. She also works as a researcher at the Centre for Quantum Technologies and the Ethereum Foundation. She’s interested in cryptography, p2p and privacy.
Reproduction of images in Source with minimal tokens
In CS1101S, there was a competition that lets student write code to generate out an image. The score of the image is decided by the number of votes as well as number of tokens used in the code. The core of the talk will be on a algorithm on how to encode and retrieve any image and display it, while using minimal tokens.
Uriel is a Year 2 Computer Science student in NUS. He is interested in algorithms/embedded systems/human-computer interaction and also does some hardware projects in his free time.
Please RSVP at our Facebook event here if you are coming so we know how many people to cater for.
See you there!
The HANGAR by NUS Enterprise — the campus hub for entrepreneurs.