This week's Casper Standup covered incorporating ZK in the applied pi-calculus to prove protocols using ZK correct.
08 Apr 2021, 12:44
This week’s Casper Standup covered incorporating ZK in the applied pi-calculus to prove protocols using ZK correct.