Aleksandr Karbyshev

Cairo errors not handled during the verification of shielded transactions

1

During the verification of shielded partial transaction, each individual proof record is validated using `Cairo.verify/1` function. The results of these verifications are then combined using `&&` operator. However, this approach...

customer: @mariari performer: deadline: estimated: started: actual: completed: confirmed: dependencies: - [ ] --- A first step towards implementation of a full-fledged consensus engine