Open rianhughes opened 2 weeks ago
Currently we handle left and right proofs separately but it seems that we need to merge the proofs. Implement the logic to merge and de-merge the proofs
Currently we handle left and right proofs separately but it seems that we need to merge the proofs. Implement the logic to merge and de-merge the proofs