arithmetic, or: Can zero-knowledge be for free? -- Concurrent zero-knowledge: Reducing