matteo vicari

Original ethresearch on Ephemeral Keys updated with the latest version of the protocol: ethresear.ch/t/achieving-qu…

@Fricoben @riva_labs @Th0rgal_ Great, let me follow the chad then!

@matteVicari @riva_labs Cool seeing you built on Verity ! Main dev is the ultimate chad @Th0rgal_ tho :)

The post-quantum signature FORS+C verifier behind NiceTry now has a WIP formal verification path: math proofs in Lean, compiled down to an EVM artifact, tested against an independent vector. Excited to be testing Verity by @Fricoben for our work at @riva_labs!

Many people have claimed that with AI-assisted bug finding, secure code (and hence trustless anything) will be impossible. I have a much more optimistic take, and AI-assisted formal verification is a major part of the reason why: vitalik.eth.limo/general/2026/0…

More here github.com/RivaLabs-Core/…

LFG Labs received a grant from the @ethereumfndn to build Verity. Verity is a formally verified smart contract compiler written in Lean 4 🧵

NiceTry - Quantum-Safe Ethereum Wallet A quick overview of our wallet implementing the Ephemeral Keys Protocol with FORS signatures: swapping on @CoWSwap, staking on @LidoFinance and showcasing the (very reasonable) gas consumption.

This is what you can do if you are worried *today* about CRQC short-exposure attacks on Bitcoin. Alternatives based on commit / reveal like Lifeboat by @tdryja are more "lightweight" in construction and stronger in safety (@riva_labs bitcoin vault is "just" buying you time) but require private send to miner for the commitment.

NiceTry: post-quantum Ethereum wallet (alpha version) The video shows our onboarding UX and a DeFi interaction: staking ETH on @LidoFinance's testnet, with the UserOp authorized by a post-quantum signature. Users can pick between two ephemeral key modes from our latest protocol design. We presented our latest protocol design today during the EF PQ call (thanks @asanso). Check GitHub for the spec: github.com/RivaLabs-Core/… Shoutout to @conordeegan for substantial contributions and security analysis. Lots more coming at both protocol and wallet level.

New paper by @matteovena and @matteVicari: a Bitcoin vault design that imposes a multi-hour cost on a quantum computer attempting to steal its contents at spend time. No soft fork or miner-direct services required. github.com/RivaLabs-Core/…

In a week we'll be presenting all the work we've done to move our ephemeral keys design for quantum safety from an idea to a spec with two modes: ECDSA and WOTS+C. We're also building an alpha wallet that implements the design, including the additional security and UX work required to make the system usable in practice. As we continue refining the spec, it's clear @asanso was right on a core point: PQ safety is going to be as much a UX problem as a cryptographic one. We'll keep adding and removing modes as interesting schemes emerge, both as strong PQ recovery options (e.g. SPHINCS+) and as candidates for the main signature scheme behind the rotation mechanism. Most of the tradeoffs depend on the use case: Ethereum L1 vs rollups, consumer wallets vs custodians, and the nuances in between. At @riva_labs we're working to cover as many of these as possible. See you in a week at PQTS Breakout #7! Also a shoutout to @GiulioRebuffo for the interesting presentation in the previous call!

We're pushing the NiceTry quantum-safe ephemeral keys design forward on every front. PQ signatures, core logic improvements, new demo experiments from community proposals. EthCC + Fort Mode were a turning point and the feedback and support from the Ethereum community were something else. We are urrently focused on: → Adding PQ signature support → Refining the core rotation logic → Building out demos and integrations that came from community input Updates are coming to docs and demos at @nicetry_xyz, and we'll share progress here too. Huge thanks to @asanso for coordinating the PQ efforts, running the PQ Transaction Signatures call series, and constant feedback. And to @drakefjustin for the ideas, tips, and putting the solution in front of the community. Plus everyone else who contributed. Shoutout to the @ethrex_client team for helping us test the initial frame transactions-based design, and to @GiulioRebuffo for building an independent implementation of our design. More soon!

Very excited to share my post on ethresearch regarding the integration of Ephemeral ECDSA keys and Frame Transactions. ethresear.ch/t/native-ephem… This article is a continuation of our work on Ephemeral keys at @riva_labs with @matteVicari.

Our ephemeral key design is now on the strawmap by EF Protocol. The strawmap is an invitation to view L1 protocol upgrades as a connected system rather than isolated proposals. We use ephemeral keys for our short-term quantum safe wallet design that leverages account abstraction and makes each ECDSA key pair single-use. Seeing our design added to the roadmap is incredibly exciting and through @nicetry_xyz we are planning to push it much further with frame transactions. I will cover all the new research results in an upcoming post. The strawmap is maintained by @adietrichs, @barnabemonnot, @fradamt, @drakefjustin and accessible at strawmap.org. I highly recommend anyone interested in the future of Ethereum to read through it.

What can frame transactions unlock on Ethereum? Frame transactions open entirely new design space for Ethereum. In the article below we break down the key concepts and how they could redefine the future of account abstraction. But I think we can push this further. Especially on the quantum-safety front, by integrating key rotation mechanisms in line with the work we're doing at @nicetry_xyz. New research post on this coming soon with @alebaiocchi23

Today I had the pleasure to present our quantumsafe smart wallet design during the EF's "PQ Transaction Signatures" Call Series, led by @asanso. Together with my colleague @alebaiocchi23, we introduced the key rotation technology behind our design, its pros and cons, and what we are building next. The focus is currently on building an ERC-7579 validator module that implements our design, while we expand support for all the edge cases. A live demo is available on @base Sepolia at nicetry(dot)xyz Follow our work at @riva_labs!