I simple implementation for a zero-knowledge proof protocol in sage