The Sigma Protocol Summary