o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps
https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp
Apache License 2.0
513 stars 116 forks source link

Clarify Proof Selection Algorithm for Lambda's AlignedLayer Implementation #1755

Closed MartinMinkov closed 2 weeks ago

MartinMinkov commented 3 months ago

We need to gather detailed information about our proof selection algorithm to guide Lambda in their implementation for the AlignedLayer proving in the Mina-EVM bridge project.

Objective: Provide Lambda with a clear understanding of how our proof selection algorithm works, particularly in the context of verifying the "best block" when checking N blocks (where N < k, the protocol constant).

Key Questions to Address:

  1. How does our current proof selection algorithm verify the "best block" when checking N blocks?
  2. Can the short fork rules be applied directly, or is a more nuanced approach required?
  3. What are the implications and considerations of N being smaller than the protocol constant k?
  4. Are there any specific edge cases or scenarios that Lambda should be aware of?
  5. How does this algorithm interact with or impact the overall consensus mechanism in the bridge context?
MartinMinkov commented 3 months ago

As per discussion, this is not needed anymore due to a redesign.

MartinMinkov commented 3 months ago

Miscommunication, this is still needed and opening it up again.