Stefan Stefanović

384 posts

Stefan Stefanović banner
Stefan Stefanović

Stefan Stefanović

@proofmancer

building @ligatelabs · also on https://t.co/n7KxfYFULc · permissionless attestation for AI · devnet live · ex @IOGroup, @RequestNetwork, @THORChain

On-chain Katılım Aralık 2021
113 Takip Edilen154 Takipçiler
Sabitlenmiş Tweet
Stefan Stefanović
Stefan Stefanović@proofmancer·
ligate-devnet-1 is live. 3 days in. binary at v0.2.2, head height past 40k, attestations landing under the first canonical schema. real chain, real DA, no mock. ↓
English
3
1
7
463
Stefan Stefanović
Stefan Stefanović@proofmancer·
watching someone debug their own code is the closest software comes to a tarot reading.
English
0
0
0
4
Stefan Stefanović
Stefan Stefanović@proofmancer·
the AI safety question isn't "will models lie to us." it's "when they do, can we prove it?"
English
0
0
0
5
Stefan Stefanović
Stefan Stefanović@proofmancer·
engineering is mostly about which problems you decide not to solve. the delete key earns its keep more than the enter key.
English
0
0
2
17
Stefan Stefanović
Stefan Stefanović@proofmancer·
every "decentralized" product i've used was centralized in exactly the place it mattered most.
English
1
0
1
36
Stefan Stefanović
Stefan Stefanović@proofmancer·
finally on arxiv: "proof of useful attestation." the idea: validators paid for the chain's own productive workload, not generic stake. 4-10× the cost-to-attack of equivalent pure-stake chains. a lot of time spent thinking on this. arxiv.org/abs/2605.25844
English
0
0
0
34
Hugeicons
Hugeicons@huge_icons·
Drop your project URL
English
313
2
158
17.8K
Stefan Stefanović
Stefan Stefanović@proofmancer·
shipped a chain-id rollover, a token rename, three open-source PRs, a 62-page paper revision, and a brand identity. monday.
English
0
0
2
47
Stefan Stefanović
Stefan Stefanović@proofmancer·
my therapist asked me to describe my relationship with the project and i said "it's like raising a child that also generated all of its own funding"
English
0
0
0
36
Stefan Stefanović
Stefan Stefanović@proofmancer·
@shafu0x ligate chain. consensus weight tied to attestation work, not just stake. devnet-2 live. first schema is AI provenance. 62-page paper if you want the math: ligate.io
English
0
0
0
72
shafu
shafu@shafu0x·
shill me what you are building
English
143
4
110
9.8K
Stefan Stefanović
Stefan Stefanović@proofmancer·
consensus, in theory: 51% of validators agree consensus, in practice: 51 people argue in a discord and the chain hasn't produced a block in 4 hours
English
0
0
1
28
Stefan Stefanović
Stefan Stefanović@proofmancer·
@TrustlessState The ones that own a specific workload. ETH = settlement. SOL = execution. TIA = DA. Generic blockspace gets commoditized; workload-specific consensus tokens compound.
English
0
0
0
85
Stefan Stefanović
Stefan Stefanović@proofmancer·
I picked LGT before I really knew what the chain was for. Just the abbreviation with a $. AVOW is what the chain actually does. To avow is to swear something publicly, under oath. Every attestation is exactly that. The ticker should pull weight. It does now.
Stefan Stefanović tweet media
Ligate Labs@ligatelabs

ligate-devnet-2 is live on Celestia Mocha. The LGT → AVOW rename is state-breaking, so the public devnet rolled to a fresh boot. Same operators, same 1B AVOW initial distribution, same Mocha DA. Update your chain_id pins. ligate.io/devnet

English
0
0
2
51
Paul Graham
Paul Graham@paulg·
One thing I've learned from using AIs is that the median person is unable to read paragraphs of ordinary prose. Now I understand why so many recently published books consist of snippets of text — what would be called sidebars, if the book weren't composed of them.
English
187
74
2.2K
193.1K
Stefan Stefanović
Stefan Stefanović@proofmancer·
@garrytan the mortgage standing order works because it leaves a receipt every month. cerebellum agents need the same. reliable + opaque is just a black box you trust until you can't.
English
0
0
1
17
Garry Tan
Garry Tan@garrytan·
Everyone building AI agents is focusing on building the prefrontal cortex. Planning. Reasoning. Multi-step chains. There's value here. CEO-stuff. But also, a reframe: there is value in building the cerebellum. It's offloading boring tasks into reflex so the complex thought can focus. Your mortgage gets paid by a standing order, not a committee. The things that are not fun, not interesting, but have to be done? Done. Most agent frameworks will fail because they treat all cognition as high cognition. The winners will nail the boring stuff first.
English
325
256
3.2K
192.2K
Barry Silbert
Barry Silbert@BarrySilbert·
The "privacy" era in crypto has officially begun
English
654
436
3.5K
608.9K
Stefan Stefanović
Stefan Stefanović@proofmancer·
every primitive eventually becomes an assumption. attestation will too. faster than people think.
English
0
0
0
31
vitalik.eth
vitalik.eth@VitalikButerin·
Some of my perspective on where the @ethereumfndn is going. First of all, this is only my own view. The board is not just me, and I have no extra special powers on the board that the other board members do not. @aerugoettinea is the one executing much of this transition. My input has been largely on technical questions. The board is in the process of expanding, and my own power within the org will continue to decrease, which is honestly what I want. The 2025 era brought many important improvements to EF and its ability to execute. Many issues were resolved, and EF continues to benefit from its improved efficiency and greater focus on concrete goals to this day. And so with those problems resolved, early this year, the largest remaining hole that I perceived was something different nagging at me: I would regularly spot people saying things like "vitalik says these beautiful things about ethereum needing to be decentralized, and have privacy, and be a sanctuary technology, but why do the EF's actions not reflect that?" Now, you may have been hearing something different. You may not have been sensing a feeling of crisis at all, and maybe were hearing people saying that finally we were taking execution and BD seriously and the main task for us is to keep going that way and be even better and faster. Then probably there is genuine difference between you and me, in what kinds of criticism I take most seriously, and what kinds of critics through their criticism are most able to make me feel pain. As an analogy, let's briefly switch over to a different domain. One belief you can have about Google is that it is a success story, and has brought a lot of good to humanity in organizing the world's information. Another belief you can have about Google is that they had a beautiful idealistic beginning, but at some point the corruption of mainstream corporate attitudes seeped in, and they slowly bit by bit completely abandoned the "don't be evil" slogan. My belief on Google specifically is probably somewhere between the two. BUT, if you had taken me back in time to ~2008, and offered me a button to press to make Google one or two standard deviations more "dogmatic", eg. give Richard Stallman permanent veto power over some key policies, I would immediately press it. Why? Because a choice for one company is not a choice for the world, or even one country. Google existed and exists in the context of a technology industry generally drifting away from early idealistic don't-be-evil roots and toward greed for financial gain, totalizing visions of accelerated superintelligence, infiltration by sociopaths, and craven capitulation to (or worse, active participation in) government pressure for ideological control, surveillance and war. And so *one company* doing something different, positioning itself to be what George Bernard Shaw calls the Unreasonable Man, resisting the trend of the times, would have been better for freedom, balance of power and stability of society as a whole, than *all* large companies bending to dominant trends. This is a part of my version of pluralism. This line of thinking is not just mine, but I also is not too far off from what Aya and others had in mind with the Mandate. Now how does this all get to the role of the EF? EF is not a "center of Ethereum", rather EF is "one node, with a defined purpose, alongside other nodes". We've always said that the EF should be the latter, but many in the Ethereum ecosystem (and even within the EF) wanted us to be the former. Now, we are taking action to ensure that we will be the latter. This is particularly important because EF is a limited organization, with limited resources and limited organizational capacity. The EF has only ~0.16% of all ETH (less than many other individual ETH holders), whereas among other blockchains it's common for "the central foundation" to have 10-50%. Fiscally, the EF was originally designed to fulfill a limited work scope defined in the token sale docs and other pre-launch materials (building the chain software; getting through Frontier, Homestead, Metropolis, Serenity), which was fully completed in 2022; it was not designed to be an eternal steward. And so today, the EF is choosing to use its remaining resources to pursue longevity over breadth (yes, this means we sell less ETH). The EF focuses *specifically* on those activities critical to the success of ethereum as a censorship/capture-resistant, open, private and secure system, that would not happen otherwise. This means making hard choices, and in some cases even activities that we highly approve of and people that we highly respect becoming outside of the EF. People of great technical talent, public respect and even alignment with the mission and CROPS being outside of the EF is in fact necessary if we want important tasks to be able to attract outside capital. This also means the EF taking opinionated stands culturally. This is all intended in cooperation with all other parts of ethereum. We recognize that many other parts of the ethereum world highly respect CROPS and related values. But highly respecting is not the same as choosing to specialize and totally dedicate to a domain (Compare in a different domain: I think reducing animal cruelty is important, and I like vegan food, but am not full unconditional vegan myself) EF is still in a transition period, and we expect its new long-term form to stabilize over the next few months. What are the guiding principles of this new form? Again, I am only one person, but I can give my answer from a technical perspective (there are also critical non-technical aspects). At the core, *Ethereum must be impressive*. We are living in an age of highly intelligent AI and all kinds of other technological acceleration. "Status quo EVM, with a hard fork or two a year to optimize for short-term needs of users" is not interesting. To some, "impressive" means: 250ms latency and 1M TPS. I think Ethereum trying to go that route is a mistake. Being as fast and as scalable as possible, and only a small epsilon more decentralized than the others, is a route to mediocrity, and if we try it we will lose. I think Ethereum should scale. But I think Ethereum should strive the hardest to be deeply impressive in a different dimension: the CROPS dimension. This means things like: * Provably bug-free Ethereum. This is a goal that all cybersecurity researchers would have thought is absurd and impossible, up until roughly 6 months ago. Now, it's on the cusp of being possible, thanks to AI-assisted formal verification. So we should be frontrunners in doing this. * Available chain consensus. Ethereum is, and with lean consensus will cotninue to be, the ONLY chain that has both (i) traditional-BFT style properties that it's safe under asynchrony up to a high level of fault tolerance, and (ii) the bitcoin PoW-style property that under synchrony it's safe up to 49% attackers. As far as I can tell, literally no other chain has this or is planning for it; bitcoin goes for (ii) only and most other chains go for (i) only. Some will remember I fought hard for this, Unreasonably insisting that it is not OK for ethereum to rely on social consensus and hard forks to rescue ethereum from 34% of nodes going offline. It's OK for chains like hyperledger, bnb, solana, tempo, etc. It's not OK for bitcoin or ethereum or eg. zcash. * Intermediary minimization. The fact that smart contract wallets, protocols like railgun, etc have to send transactions through intermediaries to get included onchain is honestly embarrassing, and it's a constant point of fragility. Hence the work on FOCIL and EIP-8141 (and 7701 and years of work before) to make transaction sending intermediary-minimized with public mempool and strong inclusion properties, in a truly general-purpose way, that covers not just eg. secp256r1, but also privacy protocols and much more. Kohaku is pushing intermediary minimization at the user layer, pulling Ethereum away from the dystopian status quo world where our wallets don't even verify the chain, send our private data out to a dozen third-party servers, and toward a brighter CROPS future. Some of these goals are Unreasonable - maybe Ethereum would be "fine" getting only 50% of the way - what if we depend on intermediaries, but make it easy to switch? But going 50% of the way would not make Ethereum Deeply Impressive in the CROPS way. So we push for 100%. Fortunately all these goals are compatible with high TPS, this is a major focus of research (esp. on scaling the state). Well-designed L2s can also help, especially L2s optimized for specific applications (eg. high-volume trading, privacy...). These goals are even compatible with significantly lower slot times, thanks to Raul's work on erasure-coded P2P, and many other optimizations. The most high-value "product" of the ethereum blockchain, financially speaking, is ETH the asset. Ethereum secures $250 billion of ETH. The types of properties of Ethereum that I mentioned above are very good for ETH the asset. Nearly 90% of my net worth is in ETH, and most of the remainder is ~$40m of onchain fiat of which every dollar has already been allocated for some open-source biotech or software or hardware initiative. That said, there are aspects of supporting ETH the asset - *necessary* aspects even - that are outside the scope of the EF. This is where we need other heroes (some of whom hold more ETH than the EF does) to step in and help. EF has been recently thinking more about how it will relate to other such organizations, and give them needed initial support. EF will be a smaller ship than in previous years, a more opinionated one - in some cases more opinionated in ways that might be difficult to comprehend - but a longer-lasting one, and one suited to making sure that ethereum brings something meaningful to the world. We are grateful to all those inside and outside the EF who are helping to make this happen.
English
1.5K
1.4K
7.6K
3.7M
Stefan Stefanović
Stefan Stefanović@proofmancer·
Marcus Aurelius wrote his Meditations as private notes he never intended to publish. they're the most-read book of personal philosophy in history. the work was good enough that survival outpaced intention. build like that.
English
1
0
0
39