alin.apt
@alinush407
Followers
44K
Following
4K
Media
284
Statuses
2K
"Life is short. Ride a motorcycle!” 🏍️
California, USA
Joined July 2009
Rage against the [complex] machine!. @aptos Keyless, at a glance, in one slide below 👇
What is an @aptos keyless account? 🧵. It's a blockchain account derived from (say) your Google account and an application (wallet, dapp, etc). It's bound not just to you (e.g., you@gmail.com) but also to the application (e.g., @PetraWallet, or @ThalaLabs, or @VibrantXFinance)
16
16
104
If you wanna learn more about AMTs, a a homomorphic Merkle tree, which I like to call “Herkle trees,” see👇.
1
0
2
🔥🔥.
In preparation for our SBC 2025 talk, we have updated our dynamic zk-SNARKs paper detailing the log N approach and data structure. Special guest: AMT trees by @alinush407! Latest version: Grateful to @YaleCSDept PhD student Weijie Wang for leading this.
1
0
4
RT @_akshay_n: Aptos might just trigger the next bull run!. This is not about speed or scalability. It's about giving financial institutio….
0
19
0
RT @Istvan_A_Seres: We may be dismissing entire branches of cryptography prematurely (RSA, class groups) because of a "looming" quantum thr….
0
2
0
RT @sherry_apt: The most powerful custody stack: @Aptos Petra Vault + Keyless. Split signers across ledger, google, and apple for ultra st….
0
21
0
From "Linear-time and post-quantum zero-knowledge SNARKs for R1CS" (.
eprint.iacr.org
This paper studies zero-knowledge SNARKs for NP, where the prover incurs $O(N)$ finite field operations to prove the satisfiability of an $N$-sized R1CS instance. We observe that recent work of...
0
0
0
RT @VitalikButerin: Good interview from Roman Storm. His trial is coming soon in 10 days. Privacy of messaging without backdoors is now wi….
0
574
0
Privacy *is* normal.
Tornado Cash was code. The US government sanctioned mathematics. They didn't just ban a tool - they criminalized privacy itself. Every developer building privacy tech now lives under this precedent. Privacy is normal.
1
0
6
Really nice summary of the Gemini univariate-to-multilinear PCS transformation, from the Testudo paper 👇
3
0
20
RT @Lhree: [New] End-to-End Encrypted Git Services (Ya-Nan Li and Yaqing Song and Qiang Tang and Moti Yung)
eprint.iacr.org
Git services such as GitHub, have been widely used to manage projects and enable collaborations among multiple entities. Just as in messaging and cloud storage, where end-to-end security has been...
0
1
0
RT @zooko: Fun summary of the long history of U.S. NSA and NIST working to insert backdoors into widely-used cryptographic standards: https….
0
11
0
RT @zk_albi: I've written this short note on how Neo compares to LatticeFold in their embedding from fields to polynomial rings, and how th….
blog.icme.io
Lattice cryptography allows us to build cryptographic primitives from hard lattice problems. LatticeFold[1] is the first lattice-based folding scheme protocol, inspired by HyperNova[2], whose...
0
11
0
3a: incorrectly suggests that assert does constrain. 3b: incorrectly suggests that integer division only requires constraints for a = b * q + r and 0 <= r < b. Not true: you need to also bound the quotient:
0xparc.org
Supporting application R&D on Ethereum and decentralized platforms.
0
0
1
1. Preclude aliasing bugs much easier via static checks: 2. LessThan for range checks is unsafe: 3. Many official circom guides are wrong, perhaps mine too (who knows. ). See examples 👇.
1
0
1