rel_zeta_tech Profile Banner
Ariel Gabizon Profile
Ariel Gabizon

@rel_zeta_tech

Followers
4K
Following
6K
Media
118
Statuses
2K

Chief Scientist at @aztecnetwork. Personal views at @relgabizon.

Joined September 2021
Don't wanna be here? Send us removal request.
@rel_zeta_tech
Ariel Gabizon
1 day
Yampolsky perfectly articulates my thoughts on QC here:.
2
3
15
@rel_zeta_tech
Ariel Gabizon
4 days
Not snarks for once:.Does someone know how the mechanism described in Section 2 here relates to known algorithmic stable coins?.The basic idea is there are dollars and bonds. Bonds generate dollars and expire. And whenever there are more dollars than.
0
0
2
@rel_zeta_tech
Ariel Gabizon
8 days
An irritated rant: There's a million snark papers out there with some variant of - split your witness into a matrix, commit separately to each row, and then you can get various proof size verifier time tradeoffs for inner product, maybe by also doing it recursively. The original.
10
8
65
@rel_zeta_tech
Ariel Gabizon
10 days
The amount of money and resources that will be spent switching to post quantum crypto because of these quantum computers that can only do random circuit sampling, i.e. can't compute anything. it's just so dumb, but it's a narrative you can't fight. Everybody is on board.
9
8
71
@rel_zeta_tech
Ariel Gabizon
12 days
Just saw a new paper on eprint on understanding Lasso and saw it doesn't even cite Tassle. A good chance to repeat, Tassle is an incredibly readable (and optimized) variant of Lasso. It should get more attention .
6
10
67
@rel_zeta_tech
Ariel Gabizon
14 days
Program looks really good!.
@EllipticKiwi
Steven Galbraith
14 days
ECC 2025.11 August 2025, online.Celebrating 40 years of Elliptic Curves in Cryptography (ECC).
0
0
3
@rel_zeta_tech
Ariel Gabizon
14 days
Personal opinion: If you're working with a programming language where you're waiting for an update that allows you to concatenate strings that might never come. besides for your personal entertainment and challenge, it's probably not the right place to verify snarks/starks.
0
0
25
@rel_zeta_tech
Ariel Gabizon
19 days
This talk on EC plonk is wonderful - starting from plonk basics, explaining the main components of ecfft, and then how to get stuff needed for plonk - like a cyclic shift, when working with functions over the curve rather than field
1
3
45
@rel_zeta_tech
Ariel Gabizon
23 days
RT @zeroknowledgefm: Last month in Toronto, @kleptographic presented on WARP, the first accumulation scheme achieving linear prover time wi….
0
2
0
@rel_zeta_tech
Ariel Gabizon
24 days
mathematically speaking, is their a difference between a ponzi scheme like Madoff, and a fractional reserve bank? Don't both of them fail iff withdrawal requests are too large compared to deposits?.
5
1
12
@rel_zeta_tech
Ariel Gabizon
25 days
This is great. The more people scrutinizing Aztec code the better.
@reilabs_io
Reilabs
26 days
We've been cooking something special for the past few months. @NoirLang is about to become the most secure ecosystem in ZK with Lampe – our custom made formal verification framework. Check out @mmkostrzewa's talk at NoirCon2 to learn more. Who's in?
Tweet media one
0
0
21
@rel_zeta_tech
Ariel Gabizon
25 days
aiui he hasn't been charged, rather they are investigating since August if there is grounds to charge him, and this suffices apparently for this travel restriction.
0
0
0
@rel_zeta_tech
Ariel Gabizon
25 days
correction: according to the interview they allow him to make trips to Dubai, but each exit must be individually approved.
1
0
0
@rel_zeta_tech
Ariel Gabizon
25 days
I didn't know Pavel Durov is not allowed to leave France!
4
0
8
@rel_zeta_tech
Ariel Gabizon
1 month
Part of my attraction to bitcoin was because of this thought my account balance in a bank is just a number in a database that can be editted e.g. to 0. But, actually, does someone have a good reference for how banks store account balances and what are the security measures?.
1
0
9
@rel_zeta_tech
Ariel Gabizon
1 month
RT @haralabob: He has a boarding pass and the agent is talking over him like he doesn't even exist. Poor guy.
0
24
0
@rel_zeta_tech
Ariel Gabizon
1 month
RT @ronrothblum: @rel_zeta_tech > Snarks can usually be turned zk via (at least theoretically). Not just usually - always. See https://t.c….
0
1
0
@rel_zeta_tech
Ariel Gabizon
1 month
RT @gauthamzzz: A hacker stole $223M from Sui yesterday. Then something unprecedented happened. Sui validators literally banned him from….
0
456
0
@rel_zeta_tech
Ariel Gabizon
1 month
I understand the concerns around it, and maybe it is defeatist, but I think it's futile to fight with how language naturally evolves.
1
0
1