metadata: {"signature": "0xe98668bcef34bd3425513e9a328d7851919c0a374d891d7cb07d7a40df5723382acd3c34d7d965a5fc1deebb87aac872a39e207a74ef3bf37107547d773b107d1b", "application": {"round": "0x09b14fe9786afdfcbb8ad8512715e5ecb6443db4", "answers": [{"type": "email", "hidden": true, "question": "Email Address", "questionId": 0, "encryptedAnswer": {"ciphertext": "Ndt0Uvyu/jpQZmQ9O2/738rd1KqaZ1h3mikkgw+xmRK7Yh3uUdELChLI9UXAyZtS", "encryptedSymmetricKey": "befd9c06a6245b4a078d1dd6a615a2ab295fc4d81eed93e10e986eb3cc5952cf5f40aee100f45c16db99c5e80586aa00087360964ebb54536fa92c624efba80e0d98059e758a80152f1271d2cd8bbbc3a2e1b902979ab6accc8d283741d44f905c4ccd5ff0a1497e7c5d2941fb51f34387b796abc4d64361043c085d94b451a50000000000000020bb2b7b058f3b8ff33bd2dab04421664dd9c43f79d58033403e26783ee740b7d95d92a218910a95e2fa7ffd966410d3b8"}}, {"type": "short-answer", "answer": "Two Swarm grants totalling $25,000", "hidden": false, "question": "Funding Sources", "questionId": 1}, {"type": "paragraph", "answer": "A team of a solo dev!\n\nI have a BEng in computer engineering. Generally, I consider myself someone interested in computers. I have been active in computing industry since 2010. I have worked on a variety of projects ranging from computer vision to UX research. I got into crypto in 2020 when I found myself in need of raising funds for my EBook reading software called \"readaratus\". Ran out of money and so decided to do freelance jobs and there I found out about Gitcoin grants and hackathoons. Jumped in and won some hackatoons and got myself fed for a year or so. Meanwhile, I joined a Gitcoin workstream project called \"dCompass\" in late 2021 that aimed to revamp Gitcoin Quests. At dCompass, I did studies about user experience of Quests and wrote technical reports and laid out a vision for an interactive learning environment. dCompass failed to raise funding and was shut down in Q2 2022. It was then in summer 2022 that I was offered a grant from the Swarm team to join forces of dStorage(Swarm) and dCompute(Golem) networks in an interoperability attempt to create a world computer called \"Sovr project\". Sovr was shut down later in Q2 2023 due to lack of interest from developers to use our tooling. Then I started Wholesum network and have been working on it full-time ever since.  \n", "hidden": false, "question": "Please provide a list of your major team members, including their relevant experiences and social network/professional links. Please indicate if there any Asian builders.", "questionId": 2}, {"type": "short-answer", "answer": "blastophaga", "hidden": true, "question": "Telegram handle of major point of contact", "questionId": 3}, {"type": "paragraph", "answer": "We are going to use the received funds to primarily compensate for developer time. Given that the allocation of is capped at around ~$10,000, the amount would allow us to pay ourselves for 2-3 months.", "hidden": true, "question": "Please demonstrate your financial plan here if it's not included in your project description.", "questionId": 4}, {"type": "paragraph", "answer": "", "hidden": true, "question": "Please demonstrate how your project would advance Asian public goods ecosystem.", "questionId": 5}], "project": {"id": "0x09de75251223a5db443c614ad71638dc935de5993dccf1f259904e485c5177df", "title": "Wholesum network", "logoImg": "bafkreidgyqege5ycjesouvx2p3pp2j6xrpr3ys6o2zaxl4rctkqvvnyzce", "metaPtr": {"pointer": "bafkreier6qfm4dull6r2hcuu2z3lm6bn2uexefbimgrxzjcskbmskkj5ye", "protocol": "undefined"}, "website": "https://github.com/WholesumNet", "createdAt": 1721897947721, "userGithub": "rezahsnz", "credentials": {"github": {"type": ["VerifiableCredential"], "proof": {"jws": "eyJhbGciOiJFZERTQSIsImNyaXQiOlsiYjY0Il0sImI2NCI6ZmFsc2V9..qC2TDkM0CjYCijtuQ1XhEqg0HJtMkgiQbjhmIM7vt6EIqzmWXOY_krsE4Bk2TWY-EUaDDq68FqscpQKmYvrWBw", "type": "Ed25519Signature2018", "created": "2024-07-25T08:47:01.418Z", "proofPurpose": "assertionMethod", "verificationMethod": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC#z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC"}, "issuer": "did:key:z6MkghvGHLobLEdj1bgRLhS4LPGJAvbMA1tn2zcRyqmYU5LC", "@context": ["https://www.w3.org/2018/credentials/v1"], "issuanceDate": "2024-07-25T08:47:01.417Z", "expirationDate": "2024-10-23T08:47:01.417Z", "credentialSubject": {"id": "did:pkh:eip155:1:0x85f5a4e1fC4F44a014B940a224dDe22D6E73F2DC", "hash": "v0.0.0:u3xJ5PJ6jClIE2k2ybZluP5ihvhdOuL57h234WEESnQ=", "@context": [{"hash": "https://schema.org/Text", "provider": "https://schema.org/Text"}], "provider": "ClearTextGithubOrg#WholesumNet#41541710"}}}, "description": "TLDR; Risc0 zkVM proving on computationally weak nodes of Swarm.\nA full note is also available here:\nhttps://github.com/WholesumNet/docs/blob/main/parallelization/parallelized-proving/report.pdf\n\nOverview\n\nProving zkVM programs is a computationally intensive task and requires capable hardware(e.g. RTX 4090 GPUs, Intel Xeons, ...). Owning such hardware is not feasible for everyone. So, if one is serious about the verifiable computing, she has to either rely on centralized providers(e.g. AWS instances) or start her own prove-maxi network. Centralization has its own drawbacks, so better to focus on decentralized options instead. To meet the compute needs of clients and serve proving jobs, one would need a network of provider PCs whose hardware specs are maxed-out. Getting such a network of expensive gadgets up, however, requires a complex set of incentives to keep the nodes busy. This application entry deviates from the usual solutions and proposes a parallel proving scheme to execute zkVM programs on computationally weak nodes usually found in decentralized storage networks(dStorage from now on). Here the focus is on `Risc0` as a tool used for creating zkVM programs, and `Swarm` as an example p2p network that has thousands of relax-specced nodes serving their storage space. \n\nWe seek 3 goals with proving on weak machines: \n\n    1) tap on the compute potential of usually idle storage nodes.\n     2) derive up resource utilization of nodes to 99%.\n     3) focus on weak nodes as forming a network off them is straightforward.\n\nObservation shows that nodes of Swarm network, for instance, are idle half of their time. This brings up an interesting opportunity to think about tapping on that pool of idleness. But the idea quickly fades as proving is only feasible on strong PCs. The solution is to divide the task and prove individual sub-tasks parallely. Risc0 allows for the programs building on top of its SDK, to customize the degree to which proving stresses the hardware. The customization follows the natural limitation set by the finite fields used for generating proofs. As you may already know, Risc0 uses STARKs for proof generation and it has to stay efficient while mathematically consistent for yielding provable programs. This forces Risc0 to choose fields whose ability to generate proofs is capped at a certain number of operations(16.78M as of today). But real world programs are larger and so Risc0 team had to find a way to make proving of infinitely size programs possible. This unfortunate(or fortunate in our case) limitation enables dividing a zkVM program into several items(called segments in Risc0 jargon) and proving them one by one. The final proof is then obtained by aggregating individual proofs. We have run experiments and have found out that by customizing the segment size to ranges that make proving possible on systems with 4-8GB of memory, we can capitalize on available stock hardware and prove zkVM programs in a parallel manner while keeping the overhead manageable. This gotcha seems to eliminate the need for forming a network off elite PCs.\n\nOur goal is to close on in/beat 2 minutes finality of Linea sequencer's prover!", "lastUpdated": 0, "projectGithub": "WholesumNet", "projectTwitter": "WholesumNet"}, "recipient": "0x85f5a4e1fC4F44a014B940a224dDe22D6E73F2DC"}}