The personal blog of Nicola
Cryptography is unusually well suited to AI research loops. Its problems can be stated formally, its solutions can be checked mechanically, and its progress has historically been bottlenecked by a small number of experts with years of context. If AI can reason about cryptography, we should be able to point a model in a loop, and watch it optimize, discover, and eventually invent. The thesis of…
Cryptocurrencies need a plan for a post-Mythos world. Blockchains likely contain latent critical bugs, and AI systems are rapidly improving at finding them. At the same time, public blockchain infrastructure is unusually difficult to patch quickly or quietly. Several recent evaluations from the UK AI Security Institute (AISI) on Anthropic’s latest model Mythos ⊕ Mythos is used here as shorthand…
Imagine a small physical space in central London. Inside, multiple autonomous companies — AI sales, AI operations, AI manufacturing, AI logistics — operate in the real world. Anything entering or leaving — goods, robots, customers — passes through one of three controlled gates: a customs checkpoint for vetting new robots, a post office for shipping, and a roboshop window where humans can place…
A physical evaluation tests an AI system in the actual physical world — not a simulator, not a sandbox, not a virtual environment dressed up as one. The point is to measure how well AI can do real things in real places. An orchard owner has birds eating the fruit. She sets up a few cameras and a drone, brings them online safely so any agent can be invited to take a slot on the system, and poses…
Over the years, I met quantum people that had no idea about crypto and viceversa. However, I also met people that are in the perfect intersection. Finally, Alex Obadia and I decided to call them Quantum Punks and wrote a short manifesto: Quantum Punks Manifesto . Thesis Our main thesis is that a small yet growing field called Quantum Cryptography can: Lead to new cryptographic protocols that we…
Hey team, I have been at Protocol Labs for 7 years, most part of my adult life. My main drive has always been to design a decentralized web infra - I was doing this at MIT and I left my PhD midway to join Juan and the early team - they were doing it for real - here I found many people that shared that same drive, many of us still do today. For all these years, Protocol Labs has been a place for…
1/ (Verifiable) Market Protocols will be another killer app of blockchain. — Nicola Greco (@nicolagreco) June 21, 2017 I am currently working on something that includes this new notion of Verifiable Markets . This was output of many conversations with Juan, Matt (from Protocol Labs ), Christian Catalini (from MIT Sloan). While I will soon post some more formal work on this, I think it is…
I am posting a draft written during the summer of 2017. I wrote this after reading the Versum paper and starting learning about verifiable computation. The idea here is to do faster off-chain contracts. Computation Coin (CoCo) Delegate computations by creating bounties Motivations Complex contracts are really expensive in Ethereum Every ethereum miner runs every computation (too much waste!) Use…
People from the Internet, I will make this very simple, we live in a strange web. Data is not yours, services don’t interoperate, you are locked in very many walled-garden, there is someone in the middle of your interactions, (actually, every time the same folks) web pages disappear/die every 100 days, Online identity - what the heck is even that? [breath] At the same time, Internet connection got…
RDF is an simple and powerful language to describe data. However, playing with RDF data can get very tricky - especially when doing simple things. Only by solving the user experience of RDF libraries we would really get developers to user RDF more 1 1 In all of its forms, turtle , json-ld , and so on. . This blog post is directed to the community that works in this field and it is an open call to…