The Story So Far Zero Knowledge Proofs (ZKPs) are of growing importance for decentralized systems. Initially gaining popularity with projects such as ZCash, they are most widely known today as a scaling solution for Ethereum. Utilizing ZKPs, Layer 2's (Scroll and Polygon for example) also known as Rollups are developing zkEVMs (Zero Knowledge Ethereum Virtual Machines). These zkEVMs process a bundle of transactions and produce a single, small proof (KB in size). This proof can be used to verify to the entire network that all the transactions in this bundle are valid and correct. However, their utility doesn't stop there. ZKPs allow for all sorts of interesting applications. Private Layer 1 - Mina for example hides the details of transactions and data on its blockchain allowing users to just prove the validity of their transactions without revealing specific information about the transaction itself. neptune.cash and Aleo are also very interesting projects. Decentralized Cloud - FedML and together.xyz are allowing ML (Machine learning) models to be trained in a decentralized way, outsourcing computation to the network and validating the computation using ZKPs. Druglike is building a more open drug discovery platform utilizing similar techniques. Decentralized Storage - Filecoin is revolutionizing cloud storage and ZKPs are at its core, allowing storage providers to prove that they have stored the correct data over a period of time.

developer docs detailed curriculm sigilante youtube channel with many amazing videos Content the network age podcast Projects uqbar uqbar - zk

Every night I will read a short (max 20 page) and interesting paper. I will choose papers that are from other domains out side my daily work. list of papers I have read so far: https://arxiv.org/pdf/2302.02083.pdf

Sigma Protocols Prover->Verifier: generate commitment t Verifier->Prover: generate challenge c Prover->Verifier: generate response z Note right of Verifier: accept or reject tldr; Sigma Protocols are interactive protcols, that contain 3 stages and 2 actors (Prover, Verifier). Sigma protocls allow a Prover to display knolwage of a secret witness. While allowing a Verifier to challane the Prover and to be almost certain (read Soundness section) that the Prover isnt lying. A properly constructed Sigma Protocol will provide "Completeness" making sure a honest Prover will always be responded to with ACCEPT from the Verifier. As well as "soundness" giving the Verifier confidance that a dishonest Prover can attempt to deceive no more then once.

My realationship with remote work I spent my whole childhood making friends online, learning online, and even working online at the age of 14. I'm used to hours of isolation, communicating with a friend I never saw face to face. There are many like me. However when I joined my first startup, I joined a tight knit team we worked every day for 8-12 hours in the office an hour drive from my home. This experience granted me long lasting friendships and valuable learning experiences. I started working remotely again two years ago during the start of COVID. During these two years I switched time zones alot, started new jobs and traveled around the globe. But most importantly remote work gives me a sense of freedom, to live my own life as I wish. However along the way I have learned a lot of hard lessons regarding remote work. I will share some of my observations with you. Building a remote team

The early days First blockchain games used simple mechnisms such as randomness, commit reveal schemes and merkle tree proofs to build simple but fun games. Commit Reveal Schemes (RPS) Alice -> Blockchain: commit(bytes32 someHash) Bob -> Blockchain: commit(bytes32 someHash) Alice -> Blockchain: reveal("rock", salt) Bob -> Blockchain: reveal("paper", salt) Note right of Alice: wait for all reveals Alice -> Blockchain: completeGame()

All benchmark (excpet web benchmarks) are run on AWS r6i.8xlarge. Poseidon Groth16 - Circom Desktop Platform Prover time Verifier time Groth16 - snarkjs