Search results

Gadgetize the deletion loop (with verifying proofs pre and post insertion) and prove its correctness

Status: Open.

#8 In reilabs/semaphore-mtb;

· Eagle941 opened on Sep 7, 2023

Gadgetize the insertion loop (with verifying proofs pre and post insertion) and prove its correctness

Status: Open.

#7 In reilabs/semaphore-mtb;

· Eagle941 opened on Sep 2, 2023

Gadgetize <code>VerifyProof</code> and prove its correctness

Status: Open.

#4 In reilabs/semaphore-mtb;

· Eagle941 opened on Aug 31, 2023