Skip to content

Add sequential restricted-supply aRTA

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:rs_seq_arta into master

This MR adds a sequential version of the restricted-supply aRTA.

Depends on !249 (merged).

Thanks to !317 (merged), I got the proof (almost) for free.

Edited by Sergey Bozhko

Merge request reports