Så vitt jag vet har Starkwares Stwo de snabbaste bevistiderna för fristående merkle tree-medlemskap. Dvs inte inifrån en ZKVM, utan som en distinkt primitiv som du kan använda. </Cunninghams lag>