Id like to yap about the @Purdue blockchain ecosystem for a moment here in light of @college_xyz and this year’s @MBC_Conference insane turnout.
When I first became president of @BoilerChain I made 2 things very clear:
🧵⬇️
Meteorite Collective x Boiler Blockchain
We’re sponsoring @BoilerChain’s trip to @MBC_Conference@college_xyz
And launching a movement to empower student builders & creatives to shape the future with @MeteoraAG
Meteora. Igniting the future of Internet Capital Markets.
Purdue is bringing a record 56 students to MBC on Dec 5–6.
Due to the extraordinary turnout, they’re seeking a sponsor to help cover transportation from Indiana to Ann Arbor.
If you’re interested in supporting the Boilermakers, DM us or reach out to @EliDubizh / @BoilerChain
Front and center.
The plan continues. We need help funding our 56 students from @BoilerChain that are going to @MBC_Conference 2025.
We’re moving fast, and growing even faster.
Boiler Blockchain is another Midwest blockchain club giant with their members interning and joining top companies across the nation.
They brought 11 members to MBC last year and we can't wait for an even larger showing from @BoilerChain this year!
We know the Midwest gets overshadowed but don't sleep on the builders from Purdue.
This week’s Student Spotlight is on @EliDubizh of @BoilerChain
Eli has been an active member of @BoilerChain since his freshman year. After leading the club as a Web3 Developer & Head of Investments for their Student Managed Crypto Fund, he was recently appointed as the club President for the next two years.
He has also been working year round for the space, first as a Go-to-Market Intern at @AgriDexPlatform and then as Business Development for @RedBeardVC. 🧵👇
High performance is rarely an accident, it’s the result of good design, executed well.
At @pisquared, we come from the world of absolute correctness: formal methods, formal semantics, formal verification. We pioneered semantics-based formal verification, created the K Framework, and built countless analysis tools around it.
We founded @rv_inc, the first Web3 security auditing firm to use formal verification, and applied it to @uniswap, @ethereum’s deposit contract, @Algorand’s consensus protocol, @maker’s DAI, and contracts from @Optimism, @LidoFinance, and many more. @pisquared spun out of @rv_inc and my university lab.
Correctness-by-construction and verifiability-by-design aren’t just priorities, they’re our creed. Critics often said these came at the expense of performance. That there had to be a catch.
Performance was never our focus, until now. We first proved the FastSet protocol mathematically correct to the last detail, then built it. Within weeks, we hit 100k TPS without optimization. Try it yourself. Still early, but proof that Web2-level speed is possible in Web3 without sacrificing core values: fast, verifiable, decentralized.
As for the catch? We dropped strong consistency in favor of strong eventual consistency. And yes, I’ll gladly debate anyone who calls that unacceptable. It’s the right trade-off and the only way to break Web3’s scalability ceiling.
@RosuGrigore@pisquared We really appreciate it. @EliDubizh is taking the org to new heights this semester. Excited to get FastSet in the hands of Purdue builders!
Been absolutely loving this launch by the @pisquared team
We were honored to get early alpha about this tech from @RosuGrigore a few months ago and it's awesome to see the vision fully realized and executed beautifully.
Cheers to this team, excited to see what's next!
Success is a decision.
Adaptation is the true measure of intelligence.
All you need is a little delusion and audacity, and you can seriously do anything in this life.