Victor Sint Nicolaas

Nov

26

SoK: cryptographic methods for secure machine learning audits

1 min read

Nov

24

Models That Prove Their Own Correctness

3 min read

May

18

Which ZK proving languages are the most future proof?

6 min read

Apr

27

Some commonalities between interactive versus non-interactive proof systems

4 min read

Feb

17

Secure hardware: a high level introduction

4 min read