Pinned
Wrote a short post on formal verification: how it works through an authorization example, and why it is a particularly relevant security tool for agentic systems:
paragraph.com/@lisaakselrod/…
Give it a read and tell me what you think 🙂
Lisa Akselrod
11.3K posts
Lisa Akselrod
@cryptobuilder_
Founder & CEO @Kanuki_io | keep agents accountable to humans | ex math at @LondonU and @aztecnetwork
- Whenever I explain ZK to cyber experts of the non-blockchain world, I always take a moment to say that ZK is usable today thanks to huge capital inflow into R&D made by the blockchain industry. If blockchain didn't do it – ZK would still be theoretical or hardly ever usable.
- Okay i just created a memecoin for single (well, still single) boys and girls who don't have a sweet boyfriend/girlfriend to spend holidays with and have no idea where to find one (not any, a really sweet one!) Happy holidays I guess? pump.fun/coin/6aMnRvJuN…
- I rly hope this is a joke. Because if it is not a joke – it's def the largest cringe I've seen in crypto regarding women in the tech industry. It degrades all credibility, legitimacy, and respect that women in tech all over the world build day over day with huge efforts. IThis Post is from a suspended account. Learn more
- Okay, for those who missed ethcc and wanna know what is trending rn:
- My version of women in web3: —> 5 am —> I am at the airport going to the ETHDam (@CryptoCanal) to give a talk, participate in two panels, and meet several dozens of @aztecnetwork and @NoirLang builders —> In one tab I am finishing my slides, in another tab – editing a tech
- hi This was officially my last day with @aztecnetwork Some takeaways: - noir gud - privacy gud - snarks are the ultimate world’s future - Goblin Plonk is a piece of art and should be placed at the permanent exhibition of the British Museum (remove Rosetta Stone if there is no
- I talked to some CEOs at ethcc and got the intuition that being a CEO is the most non-fun role at the crypto conf - You are invited to infinite number of panels. Some of them are not related to you at all but the FPL (Fundamental Panel Law) says: the more CEOs — the better - You
- Unpopular opinion (or maybe popular idk): most future web3 builders (even those hypothetical ones) don't have money to travel to conferences, because it's very expensive. Unless you live nearby it costs several thousand $$$ + visa if needed. Instead they sit at home, crunch on
- Me at ethcc: — telling restaking founder: you could do so many awesome things but you decided to do restaking — telling a zk interoperability founder that there is no zk in their product — asking an L2 to stop consistently lying in their marketing for their own good Where is
- You can think I am crazy but I do not care: 1. ZK will be huge. You can’t even imagine it today. 2. ZK will change everything the world knows about cyber security because it meets the real needs of the world in the 5-10y horizon. 3. Existing applications of ZK is a drop in the
- ZK starter pack 2.0 😁
The first ever ZK starter pack just dropped! Let's unpack it 🧵 
