Lucas Xia

Cryptography Engineering @aztecnetwork
CS @Stanford

[Wilson Nguyen @mercysjest]

Excited to announce new additions to the Neo family.

With @srinathtv, we introduce SuperNeo, a new lattice-based folding scheme that inherits all the benefits of Neo while eliminating the need for a SIMD constraint system and reducing witness sizes by ~64x (degree-wise)...[1/6]

[Aztec @aztecnetwork]

1/3 The mission is simple: to bring programmable privacy to all of Web3.

Since launching our Public Testnet on May 1st, Aztec has grown to over 15k nodes, with more than 160k txs processed and 10+ apps live.

Full Retro: https://t.co/0Q3txkcJxY

[Aztec @aztecnetwork]

Aztec’s Public Testnet is live.

The privacy revolution is finally here.

[Aztec @aztecnetwork]

1/ Aztec is committed to bringing privacy and decentralization together.

Imagine a world where developers can write programs that protect user data but take full advantage of a trustless, permissionless system.

That’s where we’re headed, and this product roadmap is how we’ll get there.

Read a note from our Founders @Zac_Aztec & @jaosef ➡️ https://t.co/ekNl34uyZZ

[Wilson Nguyen @mercysjest]

Excited to share Mangrove, our new transparent SNARK with linear proving time, low memory complexity, and constant-sized CRS!
For 2^24 (2^32) constraints, we estimate our prover takes 2m (8hr) with 400 (800) MB of memory on a laptop. https://t.co/0u6kQVLO98

[Aztec @aztecnetwork]

Today we're announcing Aztec Sandbox, a local developer testnet for smart contract privacy.

Aztec Sandbox is the most ambitious software release in Aztec Labs history and the first major step toward Aztec's endgame:

A fully decentralized, privacy-preserving Layer 2.

[Lucas Xia @lucasxia01]

Excited to share our work MUXProofs, an optimized zk protocol for arbitrary program execution! We develop a tuple lookup argument that we combined with the Marlin proof system to remove the multiplicative factor of instruction size set from the prover cost while maintaining zk.

[IACR @IACR_News]

#ePrint MUXProofs: Succinct Arguments for Machine Computation from Tuple Lookups: Z Di, L Xia, W Nguyen, N Tyagi https://t.co/Tnun1rK7nM

[Wilson Nguyen @mercysjest]

For efficiency, the original Nova implementation instantiates Nova over a cycle of curves. This altered scheme was not proven secure. We exploit a soundness vulnerability by producing an accepting proof of 2^75 rounds of the MinRoot-VDF. We then prove a modified system is secure.

[Stanford Blockchain Club @StanfordCrypto]

Stanford Blockchain Club's Research team is recruiting! Click the link below to learn more.

Application Deadline: Sept 21.

https://t.co/k1923ENj6E

[Lucas Xia @lucasxia01]

@bryanhpchiang yooooo @tim_cook

[Lucas Xia @lucasxia01]

@Dylqnnnn_tv So this is what Couriway sends me to? I am absolutely disgusted. Your chat is an absolute abomination. I am moving to Facebook Gaming where their chats are not filled with unadulterated spam.

[Lucas Xia @lucasxia01]

@DeColdestToEvo @PFF_Jarad @taz72648621 @boltschief i believe in bobby trees

[Lucas Xia @lucasxia01]

@DeColdestToEvo @MySportsUpdate not stealing touches from my little guy

[Lucas Xia @lucasxia01]

@SASBurnerAcct

[Lucas Xia @lucasxia01]

@minakimes @SethWalder @DeColdestToEvo W

[Lucas Xia @lucasxia01]

@BleacherReport @Seahawks @DeColdestToEvo

[Lucas Xia @lucasxia01]

@dalvincook @AdamSchefter @vikingstable @NFL @Vikings @DeColdestToEvo CHEF dalvin

[Lucas Xia @lucasxia01]

@ericsports @DeColdestToEvo piano

[Lucas Xia @lucasxia01]

@MySportsUpdate @DeColdestToEvo