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.

Same news in other sources

1
Hedera
HederaHBAR #18
Telegram
08 Apr 2021, 12:57
Watch Zenobia Godschalk's interview with Robert Allen, eftpos' Entrepreneur in Residence, about connectid, a micropayments proof-of-concept that aims to create a seamless Australian payment experience for web users, eftpos' challenge at Hedera21, and more:
Watch Zenobia Godschalk's interview with Robert Allen, eftpos' Entrepreneur in Residence, about connectid, a micropayments proof
Watch Zenobia Godschalk's interview with Robert Allen, eftpos' Entrepreneur in Residence, about connectid, a micropayments proof-of-concept that aims to create a seamless Australian payment experience for web users, eftpos' challenge at Hedera21, and more: https://youtu.be/KecZbyn8AxU