Victor’s Substack

SoK: cryptographic methods for secure machine learning audits

Together with my co-author Sam Holton, I'm excited to share a Systematization of Knowledge, reviewing techniques to securely audit Machine Learning (ML…

Nov 26, 2024 • Victor Sint Nicolaas

Models That Prove Their Own Correctness

A review of https://eccc.weizmann.ac.il/report/2024/098/

Nov 24, 2024 • Victor Sint Nicolaas

May 2024

Which ZK proving languages are the most future proof?

Credits to 1k(x) for the header image.

May 18, 2024 • Victor Sint Nicolaas

April 2024

Some commonalities between interactive versus non-interactive proof systems

In today's post, I'd love to share some brief learnings regarding non-interactive and interactive (probabilistic) proof systems.

Apr 27, 2024 • Victor Sint Nicolaas

February 2024

Secure hardware: a high level introduction

Recently there has been a lot of buzz around the topic of using secure hardware to govern and control IT systems, from AI to weapons systems.

Feb 17, 2024 • Victor Sint Nicolaas

White-box methods for auditing language models

In collaboration with and cross-posted to the blog Splitting Infinity.

Feb 11, 2024 • Victor Sint Nicolaas

How to use zero-knowledge to coordinate economic entities

Crossposted from: https://aleo.org/post/how-to-use-zero-knowledge-to-coordinate-economic-entities/

Feb 11, 2024 • Victor Sint Nicolaas

October 2023

SoK: Public Goods Funding

Co-authored by: Sam Harsimony

Oct 7, 2023 • Victor Sint Nicolaas

September 2023

September 2022

Mutually Assured Cooperation

Certainty is valuable.

Sep 10, 2022 • Victor Sint Nicolaas

June 2022

MEV beyond crypto: value extraction is everywhere

Thanks to Torgin Mackinga, Tim Daubenschütz, Christopher Goes and Justin Drake for comments.

Jun 12, 2022 • Victor Sint Nicolaas

March 2022

Book review: Rebellion, Rascals, and Revenue: Tax Follies and Wisdom through the Ages

The authors of this book pulled off an incredible feat: writing a book on taxation which is exciting.

Mar 28, 2022 • Victor Sint Nicolaas