HerodotusDev / integrity

Cairo STARK proof verifier for Starknet
Apache License 2.0
67 stars 20 forks source link

Implement Recursive Proofs Scheme in Bootloader #32

Closed Okm165 closed 10 months ago

Okm165 commented 10 months ago

Description

This task focuses on understanding the functioning of bootloaders and managing tasks within a scheduler. The primary objective is to implement a recursive proofs scheme. The implementation will be carried out in two main phases:

  1. Cairo Verifier Integration: The first step involves integrating the Cairo verifier into our system. This will lay the groundwork for handling recursive proofs and ensuring that the system can effectively verify each step of the recursion.

  2. Progressive Recursion Implementation: After the Cairo verifier is in place, the next phase is to develop and integrate the recursion mechanism.

    Goals

    • Gain a deeper understanding of bootloader functionality.
    • Efficiently manage tasks within the scheduler.
    • Integrate the Cairo verifier as the foundation for recursive proofs.
Okm165 commented 10 months ago

cairo-lang/src/starkware/cairo/bootloaders/simple_bootloader/utils.py is missing waiting for SW response

Okm165 commented 10 months ago

DONE