RSS Amplifier

Blog

Victor’s Substack

My personal Substack

victorsintnicolaas.substack.comSource feed ↗10 posts

Dormant Last read · last published · next check
Read 4 days ago and current, but nothing has been published for 21 months.

Written by

Latest posts

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) models: https://drive.google.com/file/d/1PirVBsvi6URpoOW5xF4dfhYsoOiQH7c3/view?usp=drive_link

Models That Prove Their Own Correctness

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

Which ZK proving languages are the most future proof?

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

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.

White-box methods for auditing language models

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

How to use zero-knowledge to coordinate economic entities

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

SoK: Public Goods Funding

Co-authored by: Sam Harsimony

The benefits of zero-knowledge for mechanism design

Cross-posted on the Aleo blog

Mutually Assured Cooperation

Certainty is valuable.

MEV beyond crypto: value extraction is everywhere

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