**Agenda:**
- 12pm	- Kickoff presentation by AltLayer
- 12:30pm - "Introduction to EigenLayer" by EigenLabs
- 1pm - "What to build using EigenLayer" by Eigen Foundation
- 1:30pm - Lagrange bounty briefing
- 1:40pm - Brevis bounty briefing
- 1:50pm - Automata bounty briefing

AltLayer

Amrit Kummer

EigenLayer

Director of Developer Relations

Nader Dabit

Solutions Architect

Wes Floyd

AVSthon Kickoff event

**Agenda:**
- 12:00hrs - "Hello World AVS Deep Dive" by EigenLabs

Hello World AVS Deep Dive

**Agenda:**
- Office Hours

*Book your 15-min slot via https://calendly.com/hanwen-altresear/avsthon-office-hours*

Office Hours

Cypherpunk

zk_asv

Polychain Capital

Research Analyst

Sven Wellman

IOSG Ventures

Managing Director

Gökhan Er

HashKey Capital

Senior Investment Manager

Yerui Zhang

banklessvc

Investment Research Associate

Kimberly Adams

Dao5

Head of Platform

Sia Khazamipour

Ethereal Ventures

Managing Partner & Co-Founder

Min Teo

Hack VC

Partner

Rodney Yesep

OKX Ventures

Benson Y.

AVSthon

## What is Automata?

[Automata](https://x.com/automatanetwork) is a machine attestation layer built by humans, designed for machines. We have previously debuted Multi-Prover AVS on EigenLayer Mainnet as part of the earliest cohort of AVSs on the restaking protocol. 

Automata builds in the open, and we ask that projects also build in the spirit of open source to encourage learning, and to benefit the community at large.

## Bounty reward

60,000 [ATA](https://www.coingecko.com/en/coins/automata)

## Task

**Create an AVS that uses either one of these two TEE tools created by the Automata team:**

- **Automata DCAP v4 library**
    
    Automata DCAP v4 library provides a unified interface to verify SGX/TDX attestations onchain. Part of its design is onchain PCCS, a decentralized repository to manage, store and reuse collaterals. DCAP v4 also supports two verification modes for DCAP attestation: Proof aggregation (*by way of RISC Zero) to optimize gas costs and direct quote verification onchain for economic security.
    
    To verify if a workload or service is running in a genuine Intel TEE, the suite of smart contract libraries are:
    
    - [Automata DCAP Attestation](https://github.com/automata-network/automata-dcap-attestation): The entry point contract for users to submit an Intel SGX / TDX quote to be verified, including
    - Intel SGX V3 Quote
    - Intel SGX V4 Quote
    - Intel TDX V4 Quote
    - [Automata DCAP on-chain PCCS](https://github.com/automata-network/automata-on-chain-pccs): It consists of Solidity implementation for an on-chain PCCS (Provisioning Certificate Caching Service) used in Intel DCAP (Data Center Attestation Primitives).
    - [Automata DCAP QPL](https://github.com/automata-network/automata-dcap-qpl): The customized platform quote provider library when generating and verifying the Intel SGX / TDX DCAP attestation quote.
- **Automata SGX SDK**
    
    Automata SGX SDK is a Rust implementation that allows developers to build applications that run within an Intel SGX enclave, supported by Cargo. It is focused on being user-friendly, fast, and efficient. We build the Automata SGX SDK to accommodate a broad user base, including industry projects, developers who are interested in building with TEEs but might not know otherwise how to start, AVS hobbyists etc., and who often have conflicting requirements and domain knowledge. Automata SGX SDK alleviates some of that pressure with well-maintained and well-tested packages, having been deployed in real-world environments ([SGX Prover](http://github.com/automata-network/sgx-prover) and [REVM](https://github.com/automata-network/revm-sgx)).
    
    Get started with the suite of smart contracts:
    
    - https://github.com/automata-network/automata-sgx-sdk
    - https://github.com/automata-network/sgx-scaffold: SGX-Scaffold is a demo project that illustrates how to use the Automata SGX SDK for development.

## Useful info

**Developer Resources**

- Documentation: https://docs.ata.network/
- GitHub: https://github.com/automata-network

**Socials**

- Twitter: https://x.com/AutomataNetwork
- Website: https://www.ata.network/
- Blog: https://blog.ata.network/
- Discord: http://ata.ws/discord
- Telegram: http://ata.ws/telegram

Automata bounty

Automata Network

## What is Brevis?

[Brevis](https://brevis.network/) allows smart contracts to trustlessly read historical on-chain states/tx/events and run customizable computations on top at low cost, enabling data-driven dApp UX.

No ZK knowledge is required.

We look forward to amazing projects and teams that can become our **long-term** ecosystem partners and candidates for our **developer ecosystems grants** and programs.

## Bounty reward

$5,000 USD

## Task

Build Data-driven dApps with Brevis ZK Coprocessor

**Requirements:**

- Developers are required to integrate Brevis SDK v0.2 into their dApps successfully. The github repo can be found in the following section.
- The dApps should access historical blockchain states, transaction and/or events, and run customized business logic/computation on those data through Brevis ZK Coprocessor.
- The integration should be meaningful: accessing historical states that are also available in the current blockchain states does not count as successful integration.
- To qualify for the bounty, the dApp must write customized and meaningful computation logic on the data accessed. Simply utilizing historical on-chain data without any computation does not qualify for the first prize.
- We do consider partial or incomplete integration on a case-by-case basis. For submissions aiming to solve real-world use cases with a clear path towards full integration, we will most likely issue the full amount of the bounty.

**What are examples of use cases we are looking to solve?**

- To understand the core concept of Brevis and what you can build with it, we recommend reading this [Uniswap v4 hook example](https://blog.brevis.network/2023/11/01/uniswap-v4-hook-brevis-zk-coprocessor-data-driven-dex-experiences/) and [this introduction blog post.](https://blog.brevis.network/2024/01/16/zk-coprocessor-zero-to-hero-1-wtf-can-it-do/)
- [You could also refer to previous Brevis hackathons](https://blog.brevis.network/2024/01/16/zk-coprocessor-zero-to-hero-1-wtf-can-it-do/) for more information:
    - [Uniswap Hook Incubator Hookathon C1](https://uniswap.atrium.academy/hackathons/hookathon-c1/)
    - [v4 Hookathon: PancakeSwap x Brevis Hackathon](https://dorahacks.io/hackathon/v4hookathon/buidl)
- Some specific ideas are
    - Uniswap v4 hooks based on traders' historical trading behaviors
    - Loyalty and user retention features in DeFi, gaming and others
    - User-gating features based on historical user behaviors
    - Trust-free active liquidity management solutions using Brevis to prove on-chain triggers
    - Smart wallet recovery features based on user behavior and on-chain financial connections
- Other examples and inspirations can be found in Brevis's [blog](https://blog.brevis.network/) and [twitter](https://twitter.com/brevis_zk).

## **Supported Networks and Contract Addresses**

For this Hackathon, Brevis supports the following networks for proving data from and attesting result to:

1. Proving data from **Ethereum Mainnet** and attesting result on **Sepolia**
2. Proving data from **BSC Mainnet** and attesting result on **BSC** **testnet**

The Brevis request contract addresses:

- **Sepolia**: https://sepolia.etherscan.io/address/0x841ce48F9446C8E281D3F1444cB859b4A6D0738C
- **BSC testnet:**
https://testnet.bscscan.com/address/0xF7E9CB6b7A157c14BCB6E6bcf63c1C7c92E952f5

## Useful info

**Developer Resources**

- [What's Brevis in 2mins](https://twitter.com/brevis_zk/status/1738024191482589685)
- The SDK documentation is [here](https://docs.brevis.network/)
- The Github repo:
    - Brevis quickstart repo: https://github.com/brevis-network/brevis-quickstart/tree/main
    - Brevis quickstart-ts repo: https://github.com/brevis-network/brevis-quickstart-ts/tree/main
    - Brevis sdk dependency: https://github.com/brevis-network/brevis-sdk/releases/tag/v0.2
    - Brevis typescript dependency: https://github.com/brevis-network/brevis-sdk-typescript main branch
- Find our engineering team at our booth and join Brevis [telegram channel](https://t.me/brevisnetwork) and [discord channel](https://discord.com/invite/QTRkjKdZ6A) to ask questions.
- [Other useful resources](https://linktr.ee/BrevisNetwork)

**Socials**

- Twitter: https://twitter.com/brevis_zk
- Website: https://brevis.network/
- Blog: https://blog.brevis.network/
- Discord: https://discord.com/invite/QTRkjKdZ6A
- Telegram: https://t.me/brevisnetwork
- Youtube: https://www.youtube.com/@BrevisNetwork

Brevis bounty

Brevis Network

## What is Lagrange?

Lagrange is the foundational proving layer that supplies ZK proofs for any use case. Lagrange offers 3 primary protocols that developers can leverage: the largest institution-grade decentralized prover network, a hyper-parallel ZK coprocessor and state committees for optimistic rollups.

## Bounty reward

$5,000 [USDC](https://www.coingecko.com/en/coins/usdc)

## Task

For the AVSthon, Lagrange is offering $5K to developers to build with the Lagrange ZK Coprocessor. Historically, it’s been challenging and expensive to have verifiable access to historical onchain data, which has limited the types of applications that can be built. With Lagrange’s ZK Coprocessor, you can perform custom SQL queries of vast amounts of onchain data directly from your smart contract in an efficient way and have the results verified using ZK proofs. This allows you to supercharge your application and build web3 apps that mirror the utility, scale and functionality of web2 apps.

## Useful info

**Developer Resources**

- Documentation: https://docs.lagrange.dev/
- GitHub: https://github.com/Lagrange-Labs
- ZK Coprocessor Dashboard: https://app.lagrange.dev/zk-coprocessor/explore/dashboard

**Socials**

- Twitter: https://x.com/lagrangedev
- Website: https://www.lagrange.dev/
- Blog: https://www.lagrange.dev/blog
- Discord: https://discord.gg/lagrange