The challenge of auditing smart contract audit, especially ones with more advanced cryptographic primitives such as ZKP or MPC

When (day):
Thu
At:
16:00 - 17:00



Session Video

Session slides

About this session

The security audit of Web 3 world is very much dependent on audit of smart contracts. The current market has huge challenges, which results in significant hacks. Looking at the maths behind the security audits and proposing mechanisms to remedy the situation.