CPO @StarkWareLtd. Plausibly not Satoshi.
- Tweets 1,107
- Following 682
- Followers 5,818
- Likes 12,404
Pinned Tweet
Quantum-Safe Bitcoin Transactions Without Softforks
github.com/avihu28/Quantum-S…
240
655
3,347
1,889,896
"ColliderScript: Covenants in Bitcoin via 160-bit hash collisions"
colliderscript.co/collidersc…
34
104
411
223,359
StarkEx Total Value Locked (with dYdX, Deversifi, Sorare & Immutable) is now leading the L2 TVL with over $168M!
5
15
97
Stone update:
The Stone prover is out (🔥)
What projects are out there to expand its capabilities?
(updated thread as they come)
2
27
92
85,362
Snark verification on StarkNet!
(not a typo)
Work-in-Progress: An implementation of #Ethereum's pairing-friendly #EllipticCurve in Cairo.
Any ideas what it could be used for?
github.com/tekkac/cairo-alt_…
#StarkNet #cairolang #cryptography #zksnark #zeroknowledge
2
23
94
Did I think @EliBenSasson will say “more tps daddy” on the main stage in EthCC? No
What about wearing huge yellow hands 👉👈? Also no
And yet
3
10
84
5,873
Just had my talk about Volition in @EthPrague !
Here is an illustration from it of the TPS, avg fee and total daily fees* of the network (the size of the circle)
6
25
83
20,324
Just to get the sense of how fast @weikengchen & @pingzhouyuan are working - I proposed this optimization one night over TG. In less than 2 days they had it implemented in script and 2 more days for another optimization iteration
4 days
M31 mul cost
1418 -> 476 -> 402
A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet! ₿🧪
A new algorithm for M31 multiplication by @avihu28 reduces multiplication cost by 70%! Once fully integrated into our OP_CAT-based Circle STARK verifier (link below), we expect end-to-end cost reduction of more than half! 🤯
github.com/Bitcoin-Wildlife-…
Even though STARKs are Bitcoin-friendly and lean on algebra, multiplications incur significant costs, which is why this optimization is so important.
Unlike STARKs, this new multiplication algorithm (like the previous algorithm) does not require OP_CAT, cementing M31’s status as a Bitcoin-friendly prime, regardless of OP_CAT!
More details on multiplying numbers on Bitcoin below 👇
4
16
88
26,231
For a while I was stuck in a limbo: Silverman and Koblitz [great] basic books became too basic. I wanted to know more. But their advanced ones were too advanced and too broad for me.
And then I found this gem. If you want to go deeper on Elliptic curves, look no further
6
11
80
Two companies in the world are working on STARKs:
StarkWare and...
Facebook:
github.com/novifinancial/win…
4
22
80
My starter kit for understanding BitVM:
1. Andrew Poelstra on Script State using Lamport sigs:
bitcoinmagazine.com/technica…
2. BitVMX Whitepaper's first 3 sections:
bitvmx.org/files/bitvmx-whit…
And only then
3. BitVM2 bitvm.org/bitvm2 and
4. BitVM whitepaper bitvm.org/bitvm.pdf
1
12
69
4,421
A potential future if this could be improved
7
12
68
6,080
Here are the slides from my @EthPrague talk about STARK Recursion:
docs.google.com/presentation…
5
14
60
My Escape Hatch talk from Prague last month is out!
Was a fun one
piped.video/knwfK4lXuT8?si=2JMk…
8
10
49
94,323
Apart from Cairo 1.0 (which is HUGE news by itself)
This version includes a x5 (!!!) cost reduction for computation on starknet. And this is just the beginning
Starknet alpha v0.11.0 is live on Testnet, kicking off the exciting Cairo 1.0, and marking the beginning of the transition phase!
Deploy Cairo 1.0 contracts
Replace Class Syscall
Computation 5X cheaper
Mainnet upgrade is subject to governance vote
starkware.medium.com/starkne…
3
7
42
15,273
Things I've recently learned about Bitcoin:
1/x
In Bitcoin's elliptic curve (secp256k1), the generator G has a special form: G/2 has a particular small x-coordinate.
G was generated by doubling a point Q, where Qx has 90 leading zero bits!
4
11
51
Further exploring off-chain Data Availability!
Adamantium >>
ethresear.ch/t/adamantium-po…
1
9
50
Might be a cliché
But I'm constantly honored and amazed by the people I get to work with.
@abdelstark is just phenomenal!!! <3
You, too, want to work w him, and now you have more opportunities to
Let's do another x100 Starknet ecosystem! 🔥
Yosh!
Happy to announce that I will be taking a new role as Head of Ecosystem at @StarkWareLtd.
I will be still leading the great Exploration team and we are increasing it's size to build moarrrr crazy projects.
It's a big new responsibility and taking it after @GuthL is both a privilege and a huge pressure, he did such an impressive job bootstrapping with maestria this beautiful Starknet ecosystem. @GuthL is not going anywhere and is shifting to a new exciting role (sorry to front run a potential announcement bro 😜).
I will do my best to follow the traces of Louis and help scale by 100x Starknet ecosystem, while keeping it's great and unique culture.
I am assembling a new team of Avengers for this Ecosystem 2.0 team. If you're up to the challenge reach out to me.
Let's scale @Starknet ecosystem and be unaligned 🧭📉 together!
#BuiltDifferent
1
7
48
23,740
Want to understand Bitcoin Smart Contracts with OP_CAT?
Here:
piped.video/EOZCIgGiTq8?si=y-wX…
4
18
52
7,768
Want to better understand our Stark Verifier?
I gathered a list of the best resources for that
A thread 🧵
1
20
48
He said he’ll bring it back
4
2
48
11,478
Impressive work!
* Implementing a STARK verifier in Rust based on the Solidity verifier
* Using the SHARP service on Gorli to generate a proof and return it
ZK-STARK-based proof system in layer 1 0L.network
The Move instruction runs a Cairo program and sends its execution trace to STARKWare’s shared prover (SHARP).
Cairo verifier in Rust for use within the Move VM of 0L.
read more dl.acm.org/doi/10.1145/34910…
2
8
50
First, Cairo VM in Rust by the amazing @ClassLambda (In Starknet coming version!)
Now, an [almost!] SHARP compatible Cairo Prover by the great @andrewmilson
Cairo is reaching escape velocity
4
9
40
10,668
What are the fundamental diff between Ethereum and validity Rollups when it comes to fees?
Tomorrow 11:25 Eiffel Stage
2
4
40
22,441
אתמול למדתי שהספר ״יסודות״ של אוקלידס גם במהדורה יפה בעברית בעידוד הגאון מוילנה ב1780.
מעניין לראות את הסכמות הרבנים בפתיחה לספר, מצרף את הראשונה בתגובות 👇
6
1
44
Over 50% of the volume of on-chain perps
STARKs have a strong track record in scaling derivative exchanges on Ethereum!
@dYdX (proud to have them still on the STARK side), @OfficialApeXdex (the new nr 1?) & @paradex (the new nr 1?) are within the top 10!
2
8
35
12,287
Great analysis and indeed predicted well the effect of 4844 on Starknet.
Especially check out the following two graphs:
1/ DA (green) was ~85% of Starknet cost pre 4844
medium.com/nethermind-eth/st…
We predicted and cover the reasons in this
3
8
39
21,770
The Bitcoin L1 is very lean. But the network effect is so strong that researchers and devs are motivated to work hard to create L2 infrastructure.
And the results are beautiful
2
8
40
3,252
I’ll talk about smart contracts on bitcoin with op_cat!
Today is the day!
Scaling Bitcoin Together starts at 6:30PM.
Don't miss speakers from @botanix, @build_on_bob, @citrea_xyz, @ParticleNtwrk, @StarkWareLtd, and @therollupco!
🟠 Register here: bitcointogether.xyz/
1
9
34
4,969
I will also talk at @EthPrague about new exciting stuff coming to Starknet
Another amazing speaker just joined @EthPrague! 🥳
@avihu28 will be sharing some exciting news about the next cutting-edge technology the @StarkWareLtd team has been working on ✨
Get involved! 🤓
Apply to hack or speak 👉ETHPrague.com
🎟️ tickets.paralelnipolis.cz/dt…
1
4
30
16,400
If only we had the tech to prove the protocol to users
w/o trust
The big downside is that there's a huge reliance on off-chain indexers. Yes, everyone can technically recreate the state of a token themselves, but it relies on indexers following the same set of protocol rules.
The EVM on the other hand, enforces these rules for us.
3
4
25
24,928
Cairo 1 to Hero
⚠️ EthPrague ⚠️
The Cairo Zero to Hero workshop starts in 1 hour in the Workshop room (11:50 am)
It's open to everyone, you don't need to know anything about @Starknet or @CairoLang!
Just make sure to install the requirements before the workshop cfp.paralelnipolis.cz/ethpra…
1
10
28
6,128
This work supports the same pairing verification as Ethereum's precompile.
You can now use StarkNet to verify any logic this precompile supports!
1
3
27
Starknet ✨🐺 at Prague Blockchain Week 🇨🇿
prgblockweek.com/
>>
2
3
20
6,839
Proving 620K hash/sec on an M3
🤯
Our new prover Stwo just blew our mind 🔥
Here's a demo by @PapiniShahar and @EliBenSasson of our next-gen prover, Stwo, and its groundbreaking performance: proving 620,000 hashes per second using an M3 laptop!
This is x1000 better than our current prover, Stone, and is the fastest in the market 💨
Stwo will be in production in early 2025, meaning that all Starknet-powered chains will be much faster to prove and more cost-effective!
Tech Specs:
We measured throughput for proving invocations of the Poseidon2 hash over M31 field on a MacPro M3 machine.
Deep dive into Stwo here: github.com/starkware-libs/st…
3
22
1,785
Something is wrong in this thread
There are more than 8 users in the replies
Dear non Starknet users (8,104,225,549 - 8 Starknet users = 8104225541),
I have few words for you, and I am begging you to listen (yeah I am the e-beggar now).
I want to give briefly my PERSONAL opinion / sentiment with respect to some FUD around Starknet, mainly on 2 topics:
- negativity / hate towards the first round of Provisions
- lack of activity on the network / 8 users
Simple questions and simple answers.
Did we do some mistakes in the past ?
Probably yes. If there is a vast sentiment like this, it must come from something. I personally did a big mistake in using the word e-beggar as reply to some individuals (i already apologised publicly for this but there is no ego here so I gladly double apologise again).
Starknet is bigger than me, Starknet is bigger than all of us. Yet Starknet is nothing without you all, this is a reality.
Did we do our best ?
Yes, definitely. We tried hard. All people involved in every single step took it very seriously and really did the maximum.
Could we have done better ?
Retrospectively it's easy to say yes, but I would say that probably we could have done better. It's always the case as nothing is perfect from the get go.
Do we care about this ?
Yes, absolutely. Lessons are learned all along the way. We try things, and it comes with some risks. We try, we learn, we improve, repeat.
What do next ?
I think it's time to forget about the past for those who are not happy, you may have good reasons to not be happy. And I am sincerely sorry about it, as of course I would dream of a world where everyone could have gotten something good for them. This world does not exist unfortunately. Time for all of us together to move forward. As communicated by the Starknet Foundation, the Provisions that happened was only the first, this means there will be others, and it was stated a while ago.
What can bring activity back to Starknet ?
Beside constantly improving the protocol that we will of course always do, there are many things. First, we shifted from investing heavily into only infrastructure to be ready now to double down on applications. Yes, applications are everything. We need apps, we have already some strong apps, but we need more.
We need more innovative use cases, we need more cool and funny things (many games are already there and many more are coming, including extremely ambitious and high quality games).
We need people to have fun on the network.
We need to have killer apps, consumer applications bringing real organic traffic and activity.
We need more RWAs. And you know what ? We are doing many things to bring exactly ALL of that. Starknet will be strong in many verticals: DeFi, Gaming, RWA, ZKML,...
I can tell you this will full confidence, and this is because of the sovereignty we have and the future proof technical choices (hard ones) we made. It took time to get there, but now that we have those solid foundations we will be in a good shape to reach escape velocity.
The past years of hard working and innovations were just a warmup. Now that the infrastructure is a good shape (TPS, very low fees, native AA with Paymaster and many killer UX features, security) it's time to double down on Apps. So, if you are a team / a single dev, working on any ecosystem, on any app, reach out to us. We will support you and guide you on how to make your dream App on Starknet.
We have a strong community, a very welcoming one. It's easy to get help and support. It's easy to create synergies between projects.
Starknet has a soul, it really has, and this will make a difference.
I am more confident than ever about the future of Starknet, and I want YOU to realise it's potential and to be part of this wonderful adventure.
Join us and become the ninth user.
#Only8Users #Ebeggar
5
1
24
3,759
Cairo 1.0, open source
The day has come: a first look into Cairo 1.0, fully open-source 🦀
This is a big step towards open-sourcing the StarkNet stack
You can now get familiar with the new syntax, compile and run simple programs locally. #StarkNet support is coming soon
starkware.medium.com/open-so…
1
2
21
*Slaps roof of data availability & provable VM*
this bad boy can fit so much blockchain in it
2
1
20
4,744
It's going to run on a separate rollup.
We are working on interoperability between different applications on our layer (and potentially with different L2s too!)
1
2
21
Ps I’m currently running it on a raspberry pi 400
Which is a very good hack if you don’t have availability for popular raspberry pi models
2
2
20
Come hear us talking about this at @TheDAOist_ in Lisbon next week!
Honored to work with @StarkWareLtd team on StarkVote! Voting on L1 is not going to scale, with #StarkNet it will and without security tradeoffs. Wait for it!
2
4
20
4. Client Side Proving? @Ingo_zk to the rescue: Adding GPU support for Stone to accelerate proof generation, laptops included!
1
3
20
2,313
I was curious, and so I found this great Reddit post: teddit.net/r/btc/comments/b5…
describes the details of the theft in this block.
3
17
@KakarotZkEvm ▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓ 9001/9000
And we dit it! 100% EVM opcodes compatibility on @KakarotZkEvm !
github.com/sayajin-labs/kaka…
In 2 months and 20 days...
No funding, no company, only a community of passionate builders ❤️
I am so thrilled. Still a long way to go before running into production but this is amazing 🔥
1
2
19
6,096
2. @zksecurityXYZ is providing the missing piece of the puzzle - verifying Stone proofs on Ethereum using the existing Solidity verifier. Starknet Appchains L2 unlocked!
1
3
17
3,316
One thing I’m missing here is running the same arguments against moving to another L1.
You’d still need the composability with Ethereum’s DeFi. But now you have to use bridges that might:
1. Take longer time
2. Cost more
3. Have security issues
W.r.t to L2-L1/L2 on Ethereum
"What they don't tell you about Layer 2"
Read more for some deep implication about the future of Ethereum and why the future most likely is multi-chain and not layer 2.
defiweekly.substack.com/p/th…
2
8
17
Our talk about StarkVote at @TheDAOist_
vimeo.com/635984683#t=7567s
with @_NathanVDH from @SnapshotLabs
6
18
Follow @bkiepuszewski to see more deep-dive threads about how STARK verification works!
(and in general, many deep-dive about different L2 protocols)
If you are interested in gaining a deeper understanding of the @StarkWareLtd L2 ecosystem, I have prepared a series of threads explaining how can an independent observer by inspecting L1 contracts can be assured of L2 security properties and how STARKs on L1 are actually built 👇
1
17
A nice idea from @VitalikButerin at a panel during #StarkWareSessions:
let the creator of a contract enjoy % of fees payed on calls to that contract.
3
1
17
AFAIK Greg Maxwell was the first one to notice this "in modern times". You can find more about it (from him and others) here: crypto.stackexchange.com/que…
This weird property still has some uses, and this is leading me to what I want to talk about next.
2
1
14
First - a reminder: Stone is a battle tested prover for Cairo. It's the engine powering SHARP and hence Starknet, StarkEx and some new exciting apps (eg @herodotusdev Storage proofs service)
So who is expanding Stone and how?
1
3
15
3,278
To be fair - DeFiLlama takes into account here StarkEx instances as well - which are Cairo programs but are separate from StarkNet smart contract.
Still an interesting signal, and is used by others to measure language success in blockchain
1
1
15
4,799
Intelligent, funny and modest
Thank you for everything Shahar!
It has been an honor
Good luck!
14
477
ams.org/notices/201003/rtx10… I came across this short, excellent article last week. A bit old, but still very relevant. I recommend it for everyone interested in cryptography, at any level of expertise.
2
3
13