Blockchain

Infrastructure

Infraestrutura

Web3

Cryptography

Criptografia

LambdaZk Week

LambdaClass

Problem Solving

Resolução de Problemas

Business Management

Gestão de Negócio

Python

Rust

Flutter

Mobile Application Development

Desenvolvimento de Aplicações Móveis

Solidity

TypeScript

Haskell

Machine Learning

Aprendizagem de Máquina

Web Development

Desenvolvimento Web

Data Science

Ciência de Dados

React

Translation

Tradução

JavaScript

Ethereum

Algorithms

Algoritmos

Software Testing

Teste de Software

Node.js

Artificial Intelligence

Inteligência Artificial

Finance

Finanças

Management

Gestão

Competitive Strategies

Estratégias Competitivas

Strategic Planning

Planejamento Estratégico

HTML

Vue.js

Figma

React Native

Adobe Photoshop

PostgreSQL

Adobe Illustrator

A four-day hacking week from July 15th to 18th, aimed at pushing the boundaries of ZK technology.

LayerX

StarkWare

Herodotus

Only Dust

Fenbushi Capital

Aztec

Giza

Mina Protocol

O(1) Labs

zkSync

Starknet

Ingonyama

zkDay

ABCDE

RISC Zero

Celestia

SevenX Ventures

Dojo

Node Guardians

Doors Open

Opening Ceremony

Let's Hack!

Hacking Ends

Closing Ceremony

Reviewing projects 

GT - Global Results

ideas

<p>LambdaZK Week is a four-day hacking week from July 15th to 18th aimed at pushing the boundaries of ZK technology. Participants will be able to hack on LambdaWorks and Zero Knowledge Machine Learning (ZKML), develop  apps using L1s &amp; L2s that incorporate Zero Knowledge tech or develop games using the DOJO onchain game engine.</p><p><br /></p><h2>Goals</h2><p>We want to gather smart people, builders and researchers that want to hack on ZK surrounded by most of the builders of the industry.</p><p>Luckily many sponsors(builders and VCs) joined and many of them shared projects, challenges or ideas to inspire. You can see them in <a href="https://taikai.network/lambdaclass/hackathons/lambdazkweek/ideas" target="_blank">here</a></p><p>Our main goal is to reward teamwork within existing projects, so all prizes will be subject to a technical review after the event. We’re not about creating hype; we value genuine work and collaboration.</p><p><br /></p><h2>Venue</h2><p>The hackathon will be hosted in <a href="https://www.google.com/maps/place/Comet+Meetings+-+Place+des+Victoires/@48.8665724,2.3423494,15z/data=!4m6!3m5!1s0x47e66fb1f0371a6f:0xdcb55547c319415d!8m2!3d48.8665724!4d2.3423494!16s%2Fg%2F11h26bk14f?entry=ttu" target="_blank">Comet Meetings - Place des Victoires</a></p><p>To access the place you should have been confirmed by the organizers, also a check-in is required the first day.</p><p>The first day, doors open at 11am</p><p>The rest of the days doors open at 8am</p><p>The venue close at midnight</p><p>Food and drinks are included during the whole event</p><p><br /></p><h2>Audience</h2><p>Our target audience is composed of individuals who are interested in zero knowledge. These are individuals who are passionate about learning and exploring the concepts and applications of zero knowledge proofs and related technologies. They may have varying levels of expertise, ranging from beginners who are just starting to explore the topic to experienced professionals looking to deepen their knowledge.</p><p><br /></p><h2>Important Dates</h2><p>Please check the timeline <span class="fr-emoticon fr-deletable fr-emoticon-img" style="background:url(https://cdnjs.cloudflare.com/ajax/libs/emojione/2.0.1/assets/svg/1f601.svg)"> </span></p><p><br /></p><p><br /></p>

overview

timeline

projects

<h2>Rules and terms</h2><p>Just code, no bullshit.</p>

rules

participants

juries

mentors

<h2>LambdaWorks</h2><p>🚀 This project began by implementing the STARKs' prover. Lambdaworks covers critical aspects like finite field arithmetic, Merkle trees, and hash functions. We're excited to continue with elliptic curves and SNARKs. 🔧</p><p>🤔 What are STARKs? They're scalable, transparent arguments of knowledge—an essential cryptographic primitive. STARKs enable computational integrity by offering concise proofs of correct computations. The remarkable advantage of STARKs is that verifying these proofs is much faster than re-executing the program itself. ⚡️💡</p><p>Dive deeper into the Lambdaworks project: <a href="https://github.com/lambdaclass/lambdaworks" target="_blank">https://github.com/lambdaclass/lambdaworks</a></p><h2>Noir</h2><p>Noir is a programming language that makes it easy to write and verify zero-knowledge proofs.</p><p>Incorporating ZKPs into blockchain-based applications is still too hard, but Noir provides a familiar, Rust-based syntax to help onboard the next wave of developers into ZK applications.</p><p><a href="https://twitter.com/critesjosh_/status/1658487518713741314" target="_blank">Learn how to build a ZK voting app using 10 lines of Noir code</a></p><p><a href="https://t.co/3B8zf8aDum" target="_blank">Build ZK gaming applications (alongside the BattleZips team)</a></p><p><a href="https://twitter.com/Zac_Aztec/status/1645908026749247488" target="_blank">Use Noir to create innovative use cases like a Chemistry Simulator</a></p><p><a href="https://t.co/rjMILycYnE" target="_blank">Fork the Noir starter repo to get started using Noir, the easiest-to-use zkDSL</a></p><h2><br /></h2><h2>Orion</h2><p>What is Orion? Orion is a Cairo library for Validity ML. Leveraging Cairo and ONNX’s capabilities, Orion enables a transparent, verifiable, open-source machine learning inference framework.</p><p>Let’s break it down.</p><p>What is ONNX Runtime? - ONNX Runtime is a cross-platform machine-learning model accelerator, with a flexible interface to integrate hardware-specific libraries, which can be used with models from PyTorch, Tensorflow/Keras, and other frameworks.</p><p>Why Cairo? Cairo programming language enables developers to create provable and scalable computations associated with ML inference.</p><p>Orion leverages Cairo to guarantee the reliability of an inference, providing developers with a user-friendly framework to build complex and verifiable machine learning models.</p><p>Orion Goals:</p><p>1️⃣ Provide a runtime implementation for verifiable ML model inferences using STARKs.</p><p>2️⃣ Compliance with ONNX. interoperate between the ONNX format for a given trained model into a Cairo program using ONNX Cairo Runtime. We can easily represent any ONNX operators in Cairo code.</p><p>3️⃣ Tensor/ Linear Algebra computation (like Numpy) in Cairo 1.0.</p><p>4️⃣ Provide Orion APIs - Operators, Numbers, Performance - to enable  wide range of functions for effective neural network calculations, extended numeric capabilities, and performance-enhancing features.</p><p>5️⃣ Clear documentation with step-by step tutorials catering to beginners and advanced users alike.</p><p>You can now build your first Neural Network in Cairo 1.0 with Orion. "MNIST Classification with Feedforward Neural Network" is the first example in the Orion Tutorials repository.</p><p>https://orion.gizatech.xyz/resources/tutorials/mnist-classification-with-orion</p><p>In this tutorial you will 👇</p><ul><li><p>Train your model with Quantize Aware Training</p></li><li><p>Convert weights/biases to Cairo</p></li><li><p>Perform inference in Cairo with Orion🔸 The Orion Tutorials repository enables anyone to contribute by sharing their Orion tutorials and examples.🔸 To contribute, dive into the repo:</p></li></ul><p>https://github.com/gizatechxyz/orion_tutorials</p><p>🔸 And join the Giza Discord!</p><p><a href="https://discord.com/invite/FR3Cd88x6r" target="_blank">https://discord.com/invite/FR3Cd88x6r</a></p><p><br /></p><h2>Starknet</h2><p>What is Starknet? Starknet is a Validity Rollup that operates as an L2 on top of Ethereum. It gives developers the opportunity to build applications that scale without compromising composability and by inheriting the security of Ethereum. Wait! What?! How can that be possible? This is doable due to the use of STARKs, a secure and scalable proving system. To write smart contracts for Starknet, Starkware did some magic and created Cairo, a language that makes it easy to build STARK-compatible programs. Yes, you can code any type of program with Cairo and make it provable 🤯!  And thanks to Starknet you can make these programs run in a scalable and secure L2.</p><p>Goals:</p><p>1️⃣ Let your imagination fly, build without limitations. DeFi? NFTs? Games? You can write any type of program you want and still get the best security, and scalability for any use case. You just need to focus on the business logic.</p><p>2️⃣ Starknet has a very ambitious roadmap ahead and its users will be able to enjoy a fast and great UX. The next upcoming 0.12 upgrade will improve throughput, scale, and transaction latency. 100 TPS here we go!</p><p>3️⃣ Starknet supports account abstraction natively, you can create great UX for your users. Now accounts are just smart contracts that can be modified and leveraged for composability.</p>

resources

categories

<h2><br /></h2><h2>Who can attend LambdaZk Week?</h2><p>Only confirmed hackers are able to attend the venue. </p><p><br /></p><h2>How are applicants selected?</h2><p>LambdaZk Week curators aim at selecting the best, most participative and motivated, programmers and creatives. .</p><p><br /></p><h2>How much does it cost?</h2><p>LambdaZk Week is free for all selected candidates.</p><p><br /></p><h2>Can I register our company employees in bulk?</h2><p>No. Candidates must register and apply individually (they are evaluated and selected individually too, see above).</p><p><br /></p><h2>Do you pay for the atendees' transportation and/or accomodation costs?</h2><p>No.</p><p><br /></p><h2>Can I bring a guest to the event?</h2><p>No. All attendees must apply to the event individually.</p><p><br /></p><h2>I was selected but can't attend the event, what do I do?</h2><p>Please let us know. Spots are limited and it would be nice if another candidate could go instead (but no, you cannot choose who that candidate might be).</p><p><br /></p><h2>When will the schedule be available?</h2><p>A detailed schedule is available on this site</p><p><br /></p><h2>Will there be a live stream from the event?</h2><p>Yes, live streaming will be available. The feed will be focused on the activities taking place on the main stage, such as talks and contests. When nothing is going on there, you can expect a general transmission of the event.</p><p><br /></p><h2>Will the talks be recorded?</h2><p>Unless the speaker states otherwise, every talk will be recorded and available online in the weeks following the event.</p><p><br /></p><h2>Is there food and beverages at the event?</h2><p>Food and drinks will be provided free for all attendees. We'll be providing lunch and dinner daily, and there will be random snacks and beverages available 24/7.</p><p><br /></p><h2>Why is the official language English?</h2><p>We have attendees coming from all over the world. English is usually well understood and accepted. Our main motivation is technology and talent, and these are global attributes, so our main 'language' is what we use to code. </p><p><br /></p><h2>Do I get a participation certificate at the end?</h2><p>Yes, we can provide participation certificates on demand in the days following LambdaZk Week. Just make sure you actually participate.</p><p><br /></p><h2>Are there hotels nearby?</h2><p>LambdaZk Week's venue is in a very central location in the city, so there are plenty of hotels around. </p><p><br /></p><p><br /></p><h2>Are there showers available?</h2><p>The logistics for this are complicated, so don't count on it. Bathrooms are available, but not showers</p><h2><br /></h2><p><br /></p><h2>Is there Wi-Fi at the event?</h2><p>Of course. </p><p><br /></p><h2>Will the Wi-Fi be any good ?</h2><p>The million-dollar question… The organization will provide a world-class setup but, ultimately, this depends on you and your fellow attendees. Bear in mind that hotspots are NOT ALLOWED at the event. Wi-Fi is a shared medium, like a pool, please don't pee in the pool.</p><h2><br /></h2><h2>I am interested in exhibiting or becoming a sponsor, what do I do?</h2><p>If you are interested in sponsoring LambdaZk Week, please contact us at for a prospectus and sponsorship application instructions.</p><p><br /></p><h2>I'm a tech guy but I also do recruiting. Is it OK if I talk to someone at LambdaZk Week to see if they're interested in working with me?</h2><p>You cannot engage in direct recruitment activities during LambdaZk Week. This is one of the core rules of the event. The attendees don't enjoy unsolicited targeting, and we don't want to turn the event into a battlefield for hires. Trust us, it's better for you, not only for attendees. Having said this, it's OK if the interest is mutual and both parties want to talk (meaning the attendee approaches you). It's definitely NOT OK if you're preaching to the crowd or fishing around for interest.</p><p><br /></p><h2>Can I leave a few flyers on the tables to advertise my group/event/company?</h2><p>That would depend on what you're advertising. The only hard rule on this is that you talk to us first at .</p><p><br /></p><h2>Still have questions?</h2><p>Ask in the telegram group</p><p><br /></p><p><br /></p>

faqs

transactions

updates

matchmaking

results

<h2>Prizes</h2><p>We have up to 70.000 USD in prizes to be split into different tracks</p><p><br /></p><h3>Main track</h3><p>All projects automatically apply for a main track. </p><p>Main track prize pool is 45.500 USD and it can go higher depending on whether some sponsors decide to have a sponsored track or not.</p><h3><br />Sponsored tracks</h3><p>Silver and gold sponsors have the possibility to get a sponsored track, At the moment with all the sponsors we have up to 31.500 USD to split in tracks</p><p>Updates about sponsored tracks are going to be posted here</p><p><strong>Mina &amp; O(1) Labs track</strong></p><p>Mina is the world’s lightest blockchain, powered by participants. Rather than apply brute computing force, Mina uses advanced cryptography and recursive zk-SNARKs to design an entire blockchain that is about 22kb, the size of a couple of tweets. It is the first layer-1 to enable efficient implementation and easy programmability of zero knowledge smart contracts (zkApps). With its unique privacy features and ability to connect to any website, Mina is building a private gateway between the real world and crypto—and the secure, democratic future we all deserve</p><p>They will be providing prizes for zkApps built for Mina Protocol using SnarkyJS</p><p>1st Prize: $1,400</p><p>2nd Prize: $1,000</p><p>3rd Prize: $800</p><p>$300 pool for anybody (after 3rd Prize) who submits a qualifying project built with SnarkyJS</p><p><br /></p><h3><strong>RiscZero track</strong></h3><p>RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture. Our suite of products enable developers to use existing tools and languages, such as Rust, to build performant, upgradable, and secure ZK programs. Additionally Bonsai, our ZK proving network, enables hyper performant parallel proving and on chain proofs for any program built on our zkVM. </p><p>Bounty #1 $2500 - Build New Applications Using RISC Zero</p><p>For the Lambda ZK Week this year we are excited to award bounties for projects that demonstrate innovative and compelling uses of our zkVM and/or Bonsai, our ZK proving network.</p><p>Additionally, for projects looking to bring ZK to Ethereum and/or Gas-efficient verifiable off chain computation, we are providing an early release of our ZK Coprocessor which enables on chain applications to access off chain verifiable compute through our zkVM and Bonsai.</p><p>****All bounty applications will be open source with the full source code available on GitHub.</p><p>Bounty #2 $1000 - Lambda X RISC Zero</p><p>Any projects that use both Lambda and RISC Zero to do something meaningful, novel, or inspiring where both technologies are relevant for the hack.</p><p>More info:<a href="https://risczero.notion.site/risczero/LambdaWorks-R0-ZK-Week-Bounty-1-225fce315e744310a577b5c40edb73b5" target="_blank"> https://risczero.notion.site/risczero/LambdaWorks-R0-ZK-Week-Bounty-1-225fce315e744310a577b5c40edb73b5</a></p><h3>ZkDay Track</h3><p>zkPitch Day is at the beginning of zkDay Paris. It is designed to showcase ZK Projects at various stages, from those embarking on their fundraising journey to those who have recently completed their seed round. </p><p>The 1st Prize winning project from  Main Track  will be awarded a pitch ticket to present at zkPitch Day, taking place at zkDay Paris on July 19th, and compete for a $15,000 prize pool!</p><p>Register zkDay Paris and zkPitch Day at: https://lu.ma/zkdayParis</p><p>For more information about zkDay Paris please follow twitter account: @zkDayOfficial</p>

prizes

Main track - $45.500

Mina & O(1) Labs - $3.500 

RiscZero - $3.500

ZkDay x LambdaZK Week 

LambdaZk Week

Organization

Co-Hosts

Industries

Products

Community

Company

Help