Benny Pinkas
@bennypinkas
Followers
1K
Following
41K
Media
17
Statuses
430
Joined March 2014
מאחורי הכותרות על מסע הרכש האגרסיבי של פייסבוק בעולם ה-AI - מסתתר סיפור עמוק יותר על התחרות מול סין, ועל התפקיד המכריע של ערכים וחופש במשיכת הכישרונות שיעצבו את התחרות הטכנולוגית הקריטית בין המעצמות. הסיפור הזה מטורף. אלכסנדר וואנג שהקים את Scale AI ועכשיו מצטרף להובי�� את ה-AI
I’m excited to be the Chief AI Officer of @Meta, working alongside @natfriedman, and thrilled to be accompanied by an incredible group of people joining on the same day. Towards superintelligence 🚀
3
3
74
מה הקשר בין המקלטים בבני-ברק, הטלת חילוץ האזרחים שתקועים בחו"ל על הצבא וביצועי חיל האוויר? כשארגון פועל באופן ענייני, על בסיס יכולות ורמה מקצועית – מתקבלות תוצאות כמו אלה שמשיג חיל האוויר. לעומת זאת, כשעירייה מקצה משאבים ציבוריים למקורבים אזרחים נותרים ללא מיגון ונפגעים
41
98
667
The core idea involves dividing the computation into smaller, batch-verifiable sub-computations, significantly shortening the exponents used for verification. Experiments confirm the theoretical analysis, showing 3.5X to 5X speedups for typical parameters.
1
0
1
The goal is to enable the verifier to check the correctness of the result much more efficiently than computing it from scratch. This gain becomes particularly useful when a single multi-exponentiation or MSM needs to be verified by multiple verifiers.
1
0
2
Naively, the overhead of the verifier can be reduced by asking the prover to compute the multi-exponentiation. This is, of course, insecure, as the prover could cheat by sending an incorrect result.
1
0
1
For example, MSMs dominate the runtime of the verifier in Bullet proofs and in Halo2 proofs. Both of these proof systems are widely used in numerous applications.
1
0
1
MSMs are used in various cryptographic tasks, particularly in the creation of zero-knowledge proofs and their verification. The motivation for this work comes from use-cases in which MSM computation dominates proof verification computation.
1
0
3
In a new blog post at https://t.co/QHsycKqYLm, we present a method for verifying multi-exponentiations and multi-scalar multiplications (MSMs) to facilitate outsourcing these computations. This allows the prover to perform the computation typically done by the verifier.
decentralizedthoughts.github.io
Multi-exponentiations and multi-scalar multiplications (MSMs) are computations that are widely used in cryptographic proof systems, mostly in proof generation and proof verification. This note...
4
13
76
Delighted to share my new paper with Eylon Yogev presenting a new Fiat-Shamir (FS) transformation that aims to be secure against recent white-box attacks: https://t.co/yoa6z1lnqw The FS transformation is used to convert public-coin interactive protocols to non-interactive ones.
eprint.iacr.org
The Fiat–Shamir transformation is a fundamental cryptographic technique widely used to convert public-coin interactive protocols into non-interactive ones. This transformation is crucial in both...
3
36
106
Woohoo!! 🥳 Our @aptos randomness beacon cryptographic design, based on weighted VRFs and PVSS, has been accepted to @IACREurocrypt'25. This would not have been possible without @bennypinkas, @sourav1547 and @XiangZhuolun! 🙏 A bit about our journey below 👇
14
27
101
My recent talk at @a16zcrypto Research on distributed randomness using weighted VRFs, used for @Aptos on-chain randomness, is now online
0
6
33
You like hard problems? @AptosLabs is looking for talented cryptography engineers: https://t.co/WSaP3Fw6Eo 1. Privacy-preserving keyless accounts ( https://t.co/A2AMa2FJ1U) 2. Fast, on-chain randomness ( https://t.co/3RcLp1vYJS) 3. Veiled coins ( https://t.co/udTagu7Q1M)
aptos.dev
Technical deep dive into how Aptos Keyless derives and accesses blockchain accounts using OIDC provider authentication.
If you want to learn more about our (@sourav1547, @bennypinkas, @XiangZhuolun) weighted VRF construction, used in @aptos randomness, see my presentation below at SBC'24 👇 Slides are here: https://t.co/AzORrvHgBN Hope to return with a longer thread on it.
1
11
24
Aptos has the best nerds on Earth 🤓 When it comes to Research, no team in the space innovates like Aptos Labs. Whether it's Consensus, Execution, or Cryptography, Aptos has the best tech in the industry, full stop. And they're not shy! Here's who to DM about what 👇🏻 Talk
25
43
146
If you want to learn more about our (@sourav1547, @bennypinkas, @XiangZhuolun) weighted VRF construction, used in @aptos randomness, see my presentation below at SBC'24 👇 Slides are here: https://t.co/AzORrvHgBN Hope to return with a longer thread on it.
docs.google.com
Distributed Randomness from Weighted VRFs Hi everyone, My name is Alin I lead the cryptography efforts at Aptos Labs. …and today, I want to tell you about the distributed randomness infrastructure we...
For those curious about how onchain randomness work on @Aptos, check out the talk by @alinush407 and team at #SBC24
https://t.co/0ylnVIhJ1a
0
5
17
SBC'24 speaker announcement! 📢 @alinush407, Head of Cryptography @AptosLabs, will be presenting research on generating shared randomness in a weighted (PoS) setting.
2
11
44
If you're at SBC'24 and you don't want to see gory math, do come to my talk @ 11:40am! I'll be presenting our work with @sourav1547, @bennypinkas & @XiangZhuolun on weighted VRFs for the @aptos randomness beacon! And I will absolutely not be showing this slide. I promise! 👇
2
3
22
💡 Aptos Keyless Accounts: A primer The future of Web3 onboarding is here via wallet-less, omni-device experiences powered by keyless accounts on Aptos. ✅ Familiar social login to Web3 apps ✅ Hard to lose & easy to access/recover ✅ Seamless access from any device 🧵 (1/6)
10
50
235
Theoretically optimal BFT consensus is going live for the first time in web3 (probably tomorrow, currently waiting for on-chain governance). Aka, protocol latency go down. This is a massive industry milestone for the lineage of BFT work that all kicked off via the '99 PBFT paper
BREAKING: theoreticaly optimal consensus latency is coming to Aptos🎉🎉🎉 3 hop consensus is the best one can hope for in Blockchain settings. Stakeholders, please vote to celebrate the best tech in the space and the Aptos unique governance mechanism! https://t.co/U1xCgzcxfr
8
20
89
Bring out the notepad, it’s time to take notes 👀✍️ @JustinUS, President and COO @OndoFinance, will dive into the future of DeFi at The Aptos Experience. #ExperienceAptos — Tickets on sale now: https://t.co/q0nPPJGg4G
14
48
263
The on-chain randomness of @Aptos has almost no latency overhead. How? https://t.co/txPiRyvmFf Our new paper describes how to remove the latency overhead of one network hop (100ms) in existing approaches for randomness. Our approach has broader applications -- see threads below
arxiv.org
Threshold cryptography is essential for many blockchain protocols. For example, many protocols rely on threshold common coin to implement asynchronous consensus, leader elections, and provide...
8
15
66