1. Welcome ALL
- Update on the builder grants
- Reviewed the latest submissions.
- A malicious submission attempting to extract funds was identified and stopped with the help of the BuidlGuidl team.
2. European Decentralisation Institute updates
Following on from the roundtable on Digital Identity and European Sovereignty that brought together a genuinely rare mix of perspectives: 25 practitioners, policymakers, academics, and civil society representatives spanning multiple jurisdictions including India, Canada, Australia, Bhutan, Switzerland, the UK, the OECD, and the EU institutional space. Discussions covered nation-scale deployments, governance models, trust frameworks, and civil society perspectives on privacy, inclusion, and humanitarian identity.
- The goal was to create a policy brief on digital identity.
- The first concept was ready in March, distributed to a selected group, and feedback received.
- A roundtable took place on April 7th in Zurich.
- The policy brief should be published at the end of the month.
- It was a hybrid event with most people in Zurich (17 attendees) and others online.
- Online participants included presentations from Bhutan, Australia, India, and Canada.
- Pramod Varma, the chief architect of Aadhaar (Indian Digital Identity System), participated.
- Key Takeaways
- Digital identity is a constitutional question, not just administrative or technical.
- Governance and the power question are unresolved in current frameworks.
- Decentralization was preferred over centralization.
- Privacy architecture needs to go further than data minimization.
- Need to take care of people who are not digitally literate.
- Implementation gap is the central political risk.
- Next Steps
- Finalizing the policy brief.
- A research repository is available via a QR code or link.
- Notion link to research repository.
- Link to public Notion page on Milestone 2 (roundtable).
3. Argot Collective updates
Lea and Jacob from the Solidity team join us to share what the Collective has been working on.
- Full presentation.
- Argos is one of the largest spin-offs out of the EF, initiated by the Solidity team.
- The largest work goes into Solidity, but it was also joined by a few other teams.
- Roadmap recap from the last half year and an outlook for the first half of 2026 will be published every six months, along with a transparency report outlining all spending.
- Smart contract verification infra service.
- They upped contracts verified from 8M to around 28M.
- Took over the 4-byte database from OpenChain (.xyz)
- Processing more than 20M requests a day.
- Sourceify is building an SDK that Wallets can use
- Will publish a playground that projects can test out.
- Rust-like language for the EVM.
- Released their latest version and rewrote the compiler from scratch with a new type system.
Act
- Act is a formal specification language and verification framework.
- Released their latest version and are working on adoption and hardening the tool.
- Recently added output to the Lean Prover.
- Releases around improving performance, making it faster, more reliable, and easier to use.
- Moving more into the back-end part so that other tools can use it.
Looking Ahead
- Standardizing ways to debug smart contracts across the ecosystem.
- Community working group for defining the standard library for Core Solidity:
- Aiming to include big players like Open Zeppelin, Nevermind, Cypherin, etc.
- Goal is to create a standard library that most people agree on.
- Playground coming out for Solidity: An online tool for playing around with Core Solidity.
- Prioritizing feedback from the survey to address important issues.
4. Open floor for all questions, proposals and other presentations etc.
- /