Open vlasin opened 2 weeks ago
Implement ALBA verification in-circuit.
Paper: https://drive.google.com/file/d/13U66LUoEbli5J64RXJyRzQXx-rmQOLIc/view?usp=drive_link
Related milestone: https://milestones.projectcatalyst.io/projects/1200253/milestones/2
Reference Rust implementation: https://github.com/cardano-scaling/alba/tree/main
Implement ALBA verification in-circuit.
Paper: https://drive.google.com/file/d/13U66LUoEbli5J64RXJyRzQXx-rmQOLIc/view?usp=drive_link
Related milestone: https://milestones.projectcatalyst.io/projects/1200253/milestones/2
Reference Rust implementation: https://github.com/cardano-scaling/alba/tree/main