Well it used to want to be free. This was a property about data that was first discored during the computer resolution. Woz was adament that the mac software should be publically avialable to people. So that people who wanted to read that could read it. Because it containted important information about how the system worked. But in order to be able to read it people could just copy and pastes it and get a free copy of the software. *** No values judgements *** Software is somethings free and sometimes you have to pay for it. This is the state of hte world and both seem pretty reasonable.

legitimacy techonlogy, block chain and cryptography have been developed in recent years. An important part of legitimacy is transparency. Legimitacy is policed by community If the community cannot see what is happening they cannot police it. I spent a few years trying to build things that were focused on privacy. Trying to maximise the privacy and decentralization. THis seems like it was not what users were looking for. Becuase no one ever really used it. how can privacy and legitmatcy be enforced ? social graphs can be used to attribute actions to people who are connected to you. This means you can make a chain of responsibility

# tmp

netting out debts with fhe Barry, [2/23/24 1:37 PM] I am trying to get a sense for how much of the liquidity inside of daimo is just moving around and how much has been onboarded Barry, [2/23/24 1:38 PM] For example at devconnect you gave everyone like 50 usd Barry, [2/23/24 1:38 PM] and i actually got pretty far with 50 usd and could pass it around and didn't actually need to re up because i kind of paid for stuff when iwas running low to get money back

Books The power broker: How an unelected public servent became the empororer of new york from 1930 - 1970 The years of lyndon johnson: What 1930s to 1950s was like in US Who they was: novel about a violoent comming of age in london Valley of genius : history of silion valley an the technology that made it. The man from the future : Von neumon does stuff the maniak: Von neumon does more stuff Giovanis room: Amazing love tragedy 1Q84: Novel about a world that is parallel to the original world

I want to make a super computer out of people Barry, [2/15/24 9:50 AM] Yesterday me and Chiali were joking around because chat gpt was down. I volenteered to be chat gpt and chiali asked me to draw a picture of someone putting a sim in a phone. I replied iwth \o/' [ o] Barry, [2/15/24 9:50 AM] It got me thinking. How could we do this with people machines. Barry, [2/15/24 9:51 AM] So we got to find a way to find ppl who are good at drawing. Seems we could have a task where ppl are asked to draw and then another task where they are asked to review each others drawings.

Thanks CC for review and feedback. Intro Rollups are scaling ethereum. But the cost of rollups is still very high for many use cases. For example at the time of writing a cost of 0.02 USD was typical on l2. This is way too expensive for many use cases where users need to have transaction fees of ~0. For example OPCraft (another example is dark forest) a version of Minecraft where every operation is carried out on chain. Even after 4844 and all of data sharding has been completed its unlikely that data costs will be low enough to allow 0 cost transactions. In this post we propose plasmaFree that supports EVM, can run any evm contract, and has a gas fee (only prover cost ~0) that is independent of l1. The only cost is prover cost. Plasma Plasma started as an attempt to solve two problems.

Zuzu labs https://hackmd.io/UW9OjrZQSg2Meqxu4n-NIw zuzu labs projcts Quadratic funding with zupass https://hackmd.io/iJqpquwlR9qG2_S4cOVeXA CGM app CGM resteraunt Prediction markets

Modular arithmatic Show number space Write a program that prints x % p for all x in X [0, p] def show_space(x, p): out = [] for i in x: out.append(i % p) Make a table that shows the multiplitive results for x * y % p for all x and y. Example x * y % 3

Intro ZKPs can help bio by allowing privacying maintaining data analysis.Data is missing The lacks is data is a bigger problem ZKPs can help bio by building the worlds biggest super computer. ZKP for statistics DNA -> Disease Genotype -> Phemotype probability that some mutation gives some disease.

Reading https://vitalik.ca/general/2017/11/09/starks_part_1.html Prove that you know the millionth Fibonacci number ? TODO: Create a list containing the first 10 Fibonacci numbers x = [1,1] def fib(x): for i in range(2,8): x.append(x[i-2]+x[i-1]) return(x)

Algberic geometry Snark friendly hash functions We have many snark frinedly hash functions They are all high degree polynomials The simplest is $x_n = (x_{n-1} + constant_{n} + x_0)^3$ we do this until n ~= 200 over a prime feild we carea about collisions , finding two $x_0$ where $x_{200}$ is the same We also care about preimage resistance. Finding $x_0$ given only x_{200}

intro There are many optimization problems in bio field. Synthetic biologists need to perform protein and metabolic engineering. Longevity community needs to find new drugs candidates. These problems often depend on being able to bring computing power to bare. Often this is expensive and only big organisations and economies of scale can over come this. Bitcoin is an example of a network that is open and performs huge amount of computation. Bigger than any super computer in the world. Where anyone in the world can get a payment for performing some work. The goal of this working group is to make similar computation power available to bio researchers. ZKPs ZKPs help us by turning difficult tasks into one that is easy to verify. We need to be careful in choosing our task because this is not easy. Target

Using lemma 5 from https://eprint.iacr.org/2022/1530.pdf give us a lookup argument that can liveinside r1cs. This means we could have a lookup argument for r1cs $\sum(\frac{1}{x+a_i}) = \sum(\frac{m_i}{x + b_i}$) $a_i \subseteq b_i$ if $m_i$ exists in the feild and is a rational function We have to remove multplicities of values r1cs version Halo2 lib subset argument approach https://zcash.github.io/halo2/design/proving-system/lookup.html#technique-description halo2 lib has lookup arguments by permuting and removing dulicates

we are in the very early days of ZK adoption We should try and grow adoption Getting product feedback loops started is gonna have a big impact on growing the space There are many possible futures but an impotant one is wallets focused UX vrs dapp focused UX This centers around private keys and how they are secured Privatey key security is super important in the zk world. The consequences of losing a private key are huge, not only could you impersonate that user you could also berak that users anonimity and if you manage to get a majority of users private keys you could break almost all users anonimity. Dapp focused private key storage in the dapp focused world the dapp in the browser holds the private key in memory

Intro Types Permutation based arguments Plookup Hyper cubes based arguments Logrithmic derivative based arguments Ppl to invite https://twitter.com/UHaboeck is a good person who works at orbis labs. Might be intersteing to chat with him

Sybil rank proof of validity Retroative public good funding lead POI Lead Vitaliks unirep social medai / forum idea

New friends solving old problems Optimisation track Intro We have many new tools that we can leverage to solve old problems Lookup arguments (Baloo, lookup++), GKR, FRI , Sum check arguments, polynomial precompilies The goal is to leverage these tools to solve two target prblems , stable diffusion and zkwasm The secondary goal is to find the approahces that work best and build tooling to allow avrage developers to use these approaches. A third goal is to bench mark these tools for various differnt problems.

[TOC] Barry Transparent on-chain eigen trust Intro People (Optimisim) are working on on-chain attestation layers. https://community.optimism.io/docs/governance/attestation-station/ is the first draft. There are also many off chain attestation layers. For example followers on twitter. We want to make sense of these attestation layers. One algorithim to do this is eigen trust. Current work We are making a zkp for eigne trust but that takes time to finish and will focus on private sub-sections of the graph.

Intro How can we secure zkevm ? What component are you worried about ? When i audit things i always find the things the developers don't know. What do people not know about zkevms ? how can traditional tools help ? Where do we need new tools ? When would you be a happy to move all eth assets onto a zkrollup All of my panalists have shown desire to work with eachother to secure not just one zkevm but many. Why collabeate when competition seems profitable? Predictions Whats yoru favoratie secuiryt bug ?