Amount: $2,000 Description: On Gevulot all proof inputs are public, but can you implement private information proving using FHE on Gevulot?

Amount: $2,000 Description: Port a ZK prover to Gevulot a. Excluding: RISC0, SP1, Polygon zkEVM b. Hint: Starknet Stwo is a good candidate

Amount: $2,000 Description: Build a GPU accelerated prover using https://github.com/ingonyama-zk/icicle on Gevulot a. Ideally the prover would build its VM image using containerized build environment

Amount: $500 Description: Create a dapp or Farcaster frame that gamifies protocol usage. Farcaster frames accepted.

Amount: $750 Description: “Best use of Fhenix. Implement FHE into your project via Fhenix to be eligible"

300 $OP per team, 5 Best Hackathon Projects can claim this. See full details here: https://polynomialfi.notion.site/Optimistic-Indexer-x-Hanabi-Bounty-8e7aa8e6c5b6456fb541ea85d3487d5b