Shahar Papini
@PapiniShahar
Followers
2,200
Following
278
Media
13
Statuses
1,045
Explore trending content on Musk Viewer
casilla
• 465629 Tweets
#EleccionesMéxico2024
• 317159 Tweets
Flamengo
• 294013 Tweets
緊急速報
• 160866 Tweets
緊急地震速報
• 154726 Tweets
O Vasco
• 143980 Tweets
Gabriel
• 92764 Tweets
Whindersson
• 89271 Tweets
能登地方
• 61513 Tweets
地震大丈夫
• 58981 Tweets
震度5強
• 58180 Tweets
Gabigol
• 52323 Tweets
能登半島
• 39672 Tweets
Arrascaeta
• 39240 Tweets
THE PROPHECY
• 36408 Tweets
Vargas
• 36238 Tweets
#FileninSultanları
• 34538 Tweets
地震警報
• 33877 Tweets
Maracanã
• 31691 Tweets
震度6強
• 30217 Tweets
Cruzeiro
• 28928 Tweets
David Luiz
• 28525 Tweets
Cebolinha
• 28314 Tweets
#青島くんはいじわる
• 27562 Tweets
地震びっくり
• 27118 Tweets
Soto
• 23987 Tweets
目覚まし
• 14114 Tweets
津波の心配
• 13969 Tweets
#ConexiónHonduras13
• 13811 Tweets
Maicon
• 12870 Tweets
Marlon
• 11405 Tweets
Who wants to help me build the first ever zkEVM, on top of Cairo?
Seeiously though, I had some POC in a local branch a while ago, it seems feasible to me.
29
15
187
Prediction: Circle STARK based proof systems will be the fastest in the world. I expect we'll hear a lot more about this in the coming months.
Math-heads, you’re in for a treat.
Introducing Circle STARK 🔵
Over the past three months, we’ve worked in collaboration with the Polygon Labs team on a new blazingly fast STARK protocol.
Today, we are proud to announce a ground-breaking mathematical advancement:
✨
A
78
139
771
10
23
152
@ShaykhSulaiman
How can anyone believe a word Hamas says?
We all saw videos of Hamas propaganda where the "bodies" literally came to life.
Claims about the hospital bombings that turned out to be false.
15
1
110
Me: New zk paper! Nice!
Paper: We introduce the Glabglab system, which uses Gazorbazorg commitments with a sprinkle of Trpeztel circuits (Shtick[17])
7
7
99
Here is the recent work of myself and
@UHaboeck
.
The one liner is: you can do lookups with logUp using GKR.
This is inspired by Lasso and
@SuccinctJT
's work.
4
23
92
People ask me why we have our own Circle STARK implementation (Stwo), separate of plonky3.
Stwo's main and only goal is to accelerate Starknet. Through fast cairo and recursion proofs.
This concreteness allows us to advance fast and write optimized code.
2
12
86
Would you like Starknet to support llvm (i.e. write your code in native language, say, rust), even if the cost overhead was x3?
19
9
70
Finally, a compiler from Idris (Haskell-like pure functional language) to Cairo!
Also works with starknet:)
2
17
62
@tc_modestine
@ChayaRaichik10
Sounds more like the Mars Attacks scene where they are welcoming the hostile aliens for the *second* time, attributing their massacre to "misunderstanding"
2
1
58
@davidrkadler
260 civilians mirdered just in the musical festival, not even including the families murdered at their homes, or the kidnapped.
10
1
48
Amazing features! And all I had to do was move to another project! Kudos to our wonderful compilers team
Cairo v2.5.0 was just released!
While loops, storing strings, moar match flexibility, pub & pub(crate), useful warnings, and as usual, various small improvements.
Community forum post:
Github:
46
135
777
5
2
40
A cool generic cairo library for integer types:
0
12
45
Mind blowing! This is essentially an opensource prover for starknet! Well done!
Stoked to announce I just submitted my own proof to StarkWare's StarkNet/StarkEx verifier on Ethereum. 🧵👇
31
74
409
1
3
40
@skdh
The problem is with human language. It is ill defined ambivalent and exploitable. We should start talking in math, with well defined terms and implication rules.
17
1
43
Me and the guys on the prover team made this Circle Stark prover called Stwo, and it has nice performance.
Did you miss
@StarkWareLtd
's talk from ZK Accelerate?😱
Watch it here ~ live from ZKA Athens
@PapiniShahar
presented: STWO Performance 🔥
YouTube:
#zkaccelerate
#zk
#StarkNet
4
15
56
3
4
37
ML framework in rust! I think rust is a lot easier to use than python, personally (and I have professionally used python for years)
1
0
30
Skyro v0.2 just released! With
#Starknet
support too!
"This release features StarkNet support, enabling developers to write StarkNet contracts in Idris2." ().
4
6
25
There will be some very interesting talks in San Francisco!
What a line-up is waiting for us at the Starknet Summit:
Top researchers, Starknet projects, and the latest updates from the most innovative initiatives in the ecosystem - Starknet, Ethereum, and other L2s.
🔥🍸🦭✨
Check out the agenda in the following post.
40
260
624
0
1
22
Thoughts about blocks and states.
IMO, there is a slight issue in ethereum API. Both getBlockByNumber() and getBalance() get a block number, but the second actually refers to the state *after* that block, not to the block itself.
2
4
22
Some thoughts I had regarding code safety.
Two competing ways to statically enforce code invariants are:
1. Static analysis.
2. Invariant by construction.
It might be tempting to use existing constructions (such as existing programming languages), and throw some analysis on it.
1
2
20
@m_ou_se
The size of the target folder is a big issue. It's hundreds of gigs in our project...
0
0
20
@0xmons
@nickryg
@iamDCinvestor
@nour_noire
@ABTestingAlpha
ImmutableX will be using cairo, as the rest of our products do (deversifi, dydx, etc)
1
2
18
Having a junior review your code might even be better than a senior. The goal is to make simple code understood by all.
As a senior would you want a junior to review your code?
412
5
387
2
2
17
1
3
16
@yanisvaroufakis
It's only a siege to get our innocent kidnapped citizens back. We will protect our people. But Israelis do not want palestinians to die. When they are brought back, this siege will be lifted.
6
1
16
This guy almost spilled the beans
LatticeFold, Beyond Circuits and now by
@UHaboeck
The explosion of papers of this end of February is being insane!
Will try to schedule L&S sessions for the following months with the authors if possible :)
5
7
48
1
1
15
@fede_intern
@jdiegooliva
@Starknet
Lambdaclass has done a wonderful work in StarkNet. Major contributor to the great state we are in right now.
We wouldn't be where we are without you.
Thanks for all your work!
1
0
13
We don't hate Palestinians.
Link to an awsome project asking Israelis and Palestinians questions from the viewers:
0
0
8
Come hear me talk about the next evolution of Cairo
Don't have your tickets for StarkNetCC, but still want to go to the event?
@StarkWareLtd
, our main sponsor, is allocating 50 tickets to the community so that everyone could enjoy the event! 👇
10
8
27
0
3
12
Yes please!
wow Shahar, one of the creators of Cairo use to play the game mod created by the company we bought. Let’s find an excuse to add Cairo to it 🫡.
0
0
7
0
0
13
@p_e
@GuthL
@milancermak
Louis, you are literally a member of Starkware and I'm sure I told you this a million times when discussing typed starknet and sui style txs. You are just bsing!!
1
0
12
@peter_szilagyi
So, you basically say, we should "trust" the devs. I think he raises a valid (known) point.
No one is pointing fingers. It's the principal.
1
0
12
Some fixed point operations in cairo
0
3
12
@hkalodner
@PhABCD
@StarkWareLtd
@reddit
@ethereum
We only publish each vault's total change onchain. Even though there were 300k txs, there are only 100k vaults, each is changed thrice. We need to save the public key (32B), token id(2bit with a lookup table for the 3 tokens) and balance (8B). ~14B per tx
1
3
10
@Chloethedev
@flovanlieshout
@StarkWareLtd
@reddit
@ethereum
The solution presented in the post has no data availability committee. All the data is onchain. i.e. It's rollup mode, not validium.
0
2
10
Bravo!
And we dit it! 100% EVM opcodes compatibility on
@KakarotZkEvm
!
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 🔥
34
120
514
2
0
9
In slightly more words:
To show inclusion of one column in another, logUp verifies sum_i 1/(z-a_i) = sum_j m_j/(z-b_j), at a random z.
We can express this sum as an arithmetic circuit using projective coordinates (to avoid division), and use the GKR protocol to prove it.
1
1
9
@LanrayIge
@ukolodny
@epolynya
I suspected you had this misunderstanding. dydx and immutable are not in starknet. They are starkex instances. If/when they move to starknet in the future, they will be composable.
1
0
9
@itamarl
@tarrenceva
@CairoLang
@class_lambda
World day of Social Justice, of course! Wouldn't miss it fml.
0
0
9
@p_e
@raphael_dkhn
1. Prefer to use Span in stead of "
@Array
".
2. Use span.pop_front() for iteration - a lot more efficient.
1
0
9
@0xlowki
@0xFranzKafka
Starkex derivatives is a Starkware product. The cairo code was written by a Starkware team of talented individuals (Ilya, Shahak, Dan, and more..), and myself.
3
0
7
I'm new to React, but I feel like useRef is an antipattern.
Everything should be a pure function of the state. useRef is a state outside the state.
Also, I don't like useContext. It makes passing values implicit. I believe that better design of param objects can replace it.
3
0
7
@nesua_plus
יש תופעה שאדם (בייחוד נשים) נמצא במצב "משותק" ו��א מסוגל להגיד "לא".
הבעייה היא שהמון אנשים (בייחוד גברים) לא מודעים לתופעה הזו. למיטב ידיעתם, האישה יכלה פשוט להגיד לא.
צריך ללמד את הציבור על התופעה, ולהסביר שעקב כך תמיד חייב "כן" מפורש.
2
0
8
Israelis really want Palestinians to prosper, peacefully.
0
1
8
Thus, no need to commit on the 1/(z-a_i) column - which has big and extension field values.
We also show to use GKR and sumchecks with univariate schemes (like FRI)
1
1
8
@feltroidPrime
@dimahledba
Theoretically you can write your hint functions in Cairo1 itself, and have a single libfunc that calls a function as a hint. I always had this vision of writing hints in Cairo itself. Maybe it'll even be supported in starknet if it's safe enough.
2
2
8
@mayazi
We had 2 choices:
1. evm emulator. Fully compatible, but potentially slower.
2. Evm transpiler. Not as compatible. Faster. Path to migrate to pure cairo.
We chose the second.
1
0
8
1
0
8
@ChristianPeel
@StarkWareLtd
@reddit
@deversifi
@Immutable
@dydxprotocol
We are exploring a couple of ways to compile from higher level languages (e.g. Haskell). Although, we will be happy to let the community help with building such tools:)
1
1
7
There are a lot of cases when developers encounter invariants that need to be held, they will turn to "defensive programming", vigorous testing, auditing, or just wishful thinking.
There's another way! Enforce it using types! You will sleep better at night, trust me.
1
1
7
@cronokirby
The way we use STARKs at Starkware is very general. We use a lot of polynomial tricks. I think PLONK constraints are just a special case of what we consider AIR.
(E.g. we use a mechanism similar to plookup)
1
0
7
The silliest guy I know is me from the past. What was this guy thinking?
How come he didn't know what I know now??
“If you don’t wake up everyday and feel stupid you’re probably doing something wrong”
Extraordinary advice from an investor
12
6
62
0
0
7
@zetsuboii_
@tarrenceva
There is a concrete suggestion in github discussions, you are welcome to add your perspective:)
1
1
7
@gakonst
We had to answer this very question on Starknet. Our answer was provably compiling to infallible native code that also computes gas (optimized) on both success and error branches.
1
0
7
@FroggyFrogster
@ukolodny
@LanrayIge
@epolynya
A single, yes.
But composability between rollups is definitely possible
0
0
7
@VitalikButerin
@EliBenSasson
@Justindr
@TimBeiko
@dankrad
That is exactly the issue. Referencing states by blocks is doomed to fail. There are more states than blocks.
States are the nodes of the tree, where blocks are edges (state transitions)
Example: Take the first block id. Does it represent a block? If so, there was a state before
2
0
6
A friend enlightened me that not everyone is aware of the ways Hamas incites hatred.
A review of hate incitement in the schools of Gaza:
0
0
7
@cairopractice
@_tserg
Anyone can do it, really:) Just make PR that adds these in corelib.
God, open source is fun.
0
0
6
Another drawback: If we wanted to allow querying the state in the middle of a block, the API in incapable of expressing that.
3
0
5
There should be two concepts: a block identifier, and a state identifier.
If we consider 2 blocks, B0 and B1, then we have *3* states we can refer to:
S0 -> S1 -> S2
B0 B1
The API does not support querying at S0 (!)
4
0
5
@KyleSamani
@Evan_ss6
The latest version of StarkNet has composability. Soon, we will also have composability with warped (i.e. transpiled from evm) contracts.
What do you suggest is still missing?
1
1
6
@befitsandpiper
@AntonioMJuliano
@dydxprotocol
Yes, Turing complete :) With memory, functions, recursion, etc. We will publish more information in the coming months.
0
3
6
@jadler0
@StarkWareLtd
@hkalodner
@PhABCD
@reddit
@ethereum
I wasn't clear enough, sorry. 32+1+8 ~ 42 B per change. There is 1 change per 3 txs. 42/3=14
1
0
6
I believe the solution to this is introducing the concept of state_identifier, functions like getBalance and call should use it instead.
The state_id itself could be specified in several way, for example StateAfterBlock(block_number), which would support the behaviour today.
4
0
5
0
0
6
@VitalikButerin
@loopringorg
You can get away with keeping registration offchain. But for depositing actual assets (e.g. ERC20 tokens), you still need an onchain tx, right?
1
0
6
@fede_intern
Yeah, I snuck in :P
I'm planning to share some cool stark optimizations we found..
0
0
5
@p_e
@dojostarknet
@tarrenceva
I kind of don't like the overload of len(). An Array could have SerdeLen which is different than it's length. I would rename the method. Maybe also the trait. trait SerializeWithSize, that depends on Serde. Method name will be serialization_size(). Something like that...
1
0
5
@fede_intern
@GuthL
@fd_ripatel
@dimahledba
@0xSoju
Start with a verifier - you will get recursive proofs
1
1
5
@izmeckler
@EliBenSasson
@feministPLT
@b__farmer
@zkproofs
Besides the soon to be released paper, our CpuVerifier contract is live on mainnet, in the deversifi setup, you can see the AIR constraints there
0
1
5
@gluk64
@life_smol
@smalltime_anon
@zksync
Cairo VM is designed to be more zk-efficient than evm, so you should be able to pack more cairo instructions in a proof than evm instructions
1
0
5