Concurrent Zero-knowledge: With Additional Background By Oded Goldreich