🎭Azpt5umoSR6jqvKSDfH6YCYf/XIWHZbe2dznRNkiIicq1🎭 now @informalinc // co-founder of @sardexnet // still trying to make things happen
Sardinia
Joined February 2008
- Tweets971
- Following3K
- Followers1.1K
- Likes4.3K
Couple of days ago, I lost a good friend and the planet one of the most knowledgeable people on the topic of mutual credit.
Rest In Power @tomazgreco
For those who don't know who Thomas H. Greco was see how far ahead he was beyondmoney.net/
Peppi Littera retweeted
Italy’s "Piracy Shield" forces providers to block content in under 30 minutes without judicial oversight, which leads to overblocking (taking down legitimate websites alongside infringing ones).
We're appealing a €14M fine to protect the Internet from automated censorship and ensure infrastructure providers aren't forced to overblock.
cfl.re/4cMh0WA
Peppi Littera retweeted
We're going after payments from first principles. Mobile-first signing. Fully private on-chain (thank you @penumbrazone). Easily allocate to DeFi yield. Pay and get paid in yielding assets. Deposit from @base or across the EVM ecosystem. With clearing via the Cycles Shielded Graph coming soon. The future of money is private and decentrally cleared. Cycles Pay is coming. A payments experience you couldn't even dream of.
Peppi Littera retweeted
We're hiring a cryptographer and protocol lead to join our small team @cyclesmoney
Help us take shielded pools to the next level with our Shielded Graph design.
Our vision is a new kind of privacy preserving hyper-capital-efficient payments and finance platform.
Link below
Peppi Littera retweeted
This week, I resigned from my job at the Ethereum Foundation and will take a break from crypto for a while.
This occasion gave me the chance to think about how crazy the last four years working in crypto have been. Here are my thoughts:
leku.blog/posts/crypto.html
Peppi Littera retweeted
Props to the Malachite team. Great to see them get an amazing home with Circle, and to have Malachite powering such an impactful usecase.
Peppi Littera retweeted
0/ Announcing Malachite's bold 1-year roadmap - incorporating: seamless EVM compatibility, multi-proposer design for a 10x throughput improvement, 30% reduction in latency, and more!
Peppi Littera retweeted
The ancients understood the profound importance of acoustics/tones, they understood how to make the stones sing.
Peppi Littera retweeted
Quint girl (me) tries consensus for the first time and this is what happened!!!! 🤯
Mysticeti consensus was challenging to learn, and using Quint to understand it made all the difference.
And as a result of my learning, the world gets a unambiguous executable spec of it 🔗👇
Peppi Littera retweeted
What if you could run an EVM smart contract network, but with sub-second finality, big blocks, and high throughput? We’ve been working on some experiments at Informal to enable running Ethereum smart contracts on top of our next-generation consensus protocol, Malachite.
Peppi Littera retweeted
In blockchain, no one succeeds alone.
That's why we partner with teams, invest in promising projects and incubate groundbreaking ideas.
Ready to accelerate together?
Peppi Littera retweeted
I was on a podcast 🎙️✨ Talking all about Quint and why formal verification is so amazing.
Thank you @gogoDiegoCrypto for inviting me and being an amazing host 💜
I'm still a newbie on this stuff, but I enjoyed it a lot. Check it oooout 👇
Quint: A modern and executable specification language w/ @bugarela
00:00 Quint intro
07:29 Background
12:05 Formal Verification
19:20 TLA+
24:05 Languages
25:51 TLA+ vs Quint
29:07 using Quint
38:48 Misconceptions
48:43 Check it out!
Peppi Littera retweeted
Quint was an amazing tool to secure @leftCurveSoft’s Jellyfish Merkle Tree
👯♀️ Twin testing
🎯17 invariants
⚙️ Millions of simulations
✅ Model checking
🪲 Very subtle bug found
Read the case study: bit.ly/41IPy64
Peppi Littera retweeted
Late last year, a mind-blowing whitepaper was released by @informalinc and co-authored by the likes of @buchmanster and @socrates1024
Cycles Protocol: A Peer-to-Peer Electronic Clearing System
I’ve been wrapping my head around it. Let’s explore “tldr style”
1/n 🧵
Peppi Littera retweeted
1/2
It's done.
Malachite is open-source --
github.com/informalsystems/m…
Give the repo a ⭐ and the Universe will reward you.
Join the X space scheduled later today to discuss with top builders about Rust & decentralization. Link in the next tweet.
Happy to see Quartz (of which I am an humble contributor) being used and adopted.
See below for more
p.S.
Big shout-out to @0xfairblock for the work they put in this!!!
Titans are attacking - and Paradis Island needs more walls!
FairyCycles combines MPC + TEE, giving users stronger walls to protect their confidential computations.
Read more about our work on secure MPC + TEEs with @cyclesmoney' Quartz SGX sidecar, here: github.com/Fairblock/fairblo…
