Victor’s Substack
Subscribe
Sign in
Home
Archive
About
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
Latest
Top
Models That Prove Their Own Correctness
A review of https://eccc.weizmann.ac.il/report/2024/098/
Nov 24, 2024
•
Victor Sint Nicolaas
Which ZK proving languages are the most future proof?
Credits to 1k(x) for the header image.
May 18, 2024
•
Victor Sint Nicolaas
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
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
SoK: Public Goods Funding
Co-authored by: Sam Harsimony
Oct 7, 2023
•
Victor Sint Nicolaas
See all
Victor’s Substack
My personal Substack
Subscribe
Victor’s Substack
Subscribe
About
Archive
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
