Weikeng Chen | BIP-420 🐱 @weikengchen Twitter profile

Last Seen Profiles

@signaturitem

@akrr1222

@zlebor02

@nagarawardani

@Walid3508

@JosefaBric8517

@AxeWieldingArse

@ianmcgahon

@pasaribu_sc

@yamakawa_linda1

@sunny45321067

@msimsims

@yohei_1012

@pjsekai_event

@the_K9_team

@synkwnter

@dolvic2002

@_vinette

@jagres_ato

@bananahead_og

@luciamooor

@Kadeesayong

@Anna__B91

@fevziyehz

@ly6941728

@ortourupdates

@amrosman1983

@JohnPaglialun

@veighfode

@koaranin1128

@SportingLife

@HCDiputadosBA

@SaoPauloFC_esp

@mah_maryjli

@erikasexualidad

@GoddexxCyanide

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

This is big news. TEE for CPU and GPU have arrived! Nvidia Confidential Computing has open-sourced its SDK library. This can imply many things, including outsourced ZKP proof generation with circuit and data privacy... with GPU acceleration on H100.

GitHub - NVIDIA/nvtrust: Ancillary open source software to support confidential computing on NVIDIA...

Ancillary open source software to support confidential computing on NVIDIA GPUs - NVIDIA/nvtrust

github.com

5

61

224

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Exciting @DzkLabs update! We've joined the @efabless shuttle program, taping out 'Thumbelina'. This chip packs area-efficient BLS12-377 units for #ZKP , focusing on #AleoMining . Notably, our modular multiplication unit claims just 0.6 mm^2 in a 130nm process.🎯 1/5

2

6

114

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

Reproduced -- M3 Max is even faster: 1,286,596 hashes per second, compared with Eli's M3 Pro laptop.

StarkWare 🐺🐱

@StarkWareLtd

3 months

Our new prover Stwo just blew our mind 🔥 Here's a demo by @PapiniShahar and @EliBenSasson of our next-gen prover, Stwo, and its groundbreaking performance: proving 620,000 hashes per second using an M3 laptop! This is x1000 better than our current prover, Stone, and is the

63

140

620

5

19

104

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

You may get cats for writing Bitcoin scripts or contributing to Bitcoin!

Quantum Cats | BIP-420🐱

@QuantumCatsXYZ

2 months

BREAKING: BITCOIN RESEARCHER GIFTED A QUANTUM CAT FOR BREAKTHROUGH IN OP_CAT DEVELOPMENT gmeow! @weikengchen , a researcher focused on ZK tech from L2 Iterative Ventures, released his working prototype of an OP_CAT-powered STARK verifier on the bitcoin signet! this means that

124

106

566

12

7

98

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

"Electron Labs' bridge between NEAR and Ethereum is vulnerable. Zk circuits used for the NEAR light client are incomplete and severely under-constrained. It is possible to create valid proofs for invalid set of signatures. User funds are at risk!" @NEARProtocol ? @labs_electron ?

Rahul | Aerius Labs

@Rahul__Ghangas

1 year

This tweet is a public disclosure for a vulnerability in a recently launched/about to launch blockchain bridge. Below gist has been encrypted with and can be decrypted in 10 days, on 17/06/2023. The team has been aware of vuln for a while and decided

2

35

9

23

95

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

To save the BTC price, I think we should enable OP_CAT.

21

15

87

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

Thanks to @TaprootWizards ! This transaction finally gets out of the mempool after a few hours since many signet nodes haven't realized OP_CAT is activated :) For a full walkthrough, check out

covenants-examples/src/counter/SIGNET.md at main · Bitcoin-Wildlife-Sanctuary/covenants-examples

Examples of covenants in Bitcoin script. Contribute to Bitcoin-Wildlife-Sanctuary/covenants-examples development by creating an account on GitHub.

github.com

Eric Wall | BIP-420😺

@ercwl

4 months

OP_CAT transactions on Signet 👀

20

37

134

2

11

34

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

OP_CAT has been merged in bitcoin-inquisition @Ethan_Heilman

18

14

66

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

"Who needs customized processors when you already have GPUs? They're cheaper, more useful, more programmable, more liquidatable, and better suited for cryptographic algorithms. So, why not stick with our grandma's old-school GPUs?" #privacy #ZKP #ASIC #GPU

3

4

58

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

Bitcoin's 'OP_CAT' Possibilities Teased in StarkWare Test Project via @coindesk

Bitcoin's 'OP_CAT' Possibilities Teased in StarkWare Test Project

StarkWare used its new STARK verifier on the Signet network, a testing environment for Bitcoin, in a proof-on-concept project designed to demonstrate what the oldest blockchain might be capable of...

www.coindesk.com

4

12

59

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

StarkWare verifies first zero-knowledge proof on Bitcoin via @cointelegraph

StarkWare verifies first zero-knowledge proof on Bitcoin

StarkWare successfully verifies its first zero-knowledge proof on the Bitcoin Signet network, paving the way for scalable layer-2 solutions and global payments.

cointelegraph.com

2

13

62

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

Testnet OP_CAT will be activated in a few days.

15

11

54

Weikeng Chen | BIP-420 🐱

@weikengchen

11 months

Ingonyama got enough money to do an ASIC chip for ZKP and FHE. @Ingo_zk @cysic_xyz @UlvetannaHQ @_Supranational @AleoHQ @RiscZero @nil_foundation @zama_fhe @brevis_zk @DelphinusLab

Chip company Ingonyama raises $20 million in seed round | Ctech

The round was led by Walden Catalyst, one of AI21 Lab’s lead investors, and included VC funds Geometry, and Blue Yard Capital, among others

www.calcalistech.com

4

57

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Our paper "HOLMES: Efficient Distribution Testing for Secure Collaborative Learning" (Ian Chang, Katerina Sotiraki, Weikeng Chen, Murat Kantarcioglu, Raluca Popa) has been accepted in USENIX Security 2023. It uses interactive zero-knowledge proofs to accelerate MPC.

4

8

54

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

just contributed a PR for u32 mul to BitVM. It took 3705 bytes in Bitcoin script. This suffices for fraud proofs. Can you do better? Submit a PR today to BitVM.

Add u32_mul by weikengchen · Pull Request #12 · BitVM/BitVM

This PR presents an implementation of the u32_mul, which can be used for ASM_MUL, for 32-bit integers. It implements: u8_to_bits, convert a u8 into bits u32_to_bits, convert a u32 (represented as ...

github.com

3

53

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

In 2024, human beings discovered even shorter proofs for everything.

Helger Lipmaa 🇺🇦

@HLipmaa

4 months

Well, this happened (accepted to Crypto 2024)

24

47

275

3

4

52

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

Let me first apologize to @randhindi @GuyZys @remi_gai first. But @badcryptobitch 's MPC memes are gold.

5

6

51

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

CAT has been executed successfully on the mainnet

Rijndael | BIP-420 🐱

@rot13maxi

2 months

👀

24

23

204

5

2

51

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

When ZKML takes 10+ hours, MPC-ML only takes five minutes... and this shouldn't be surprising!

Cheng Hong 洪澄

@ChengHong_ustc

1 year

Can't wait to share our latest results in MPC: PUMA - Secure Inference of LLaMA-7B in Five Minutes !

5

6

59

7

2

49

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Recently I dig into ML for ZK (not ZK for ML)---training a chatGPT-like AI that writes and verifies ZK circuits. I created a Telegram channel, if you are interested... feel free to join!

MLZK community

t.me

2

7

50

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

And Findora mainnet will soon use TurboPlonk proofs, faster than existing constructions, for our multi-asset shielded pool.

penumbra 🌘

@penumbrazone

2 years

Penumbra testnets now use Groth16 proofs for our multi-asset shielded pool. Read on:

2

10

67

2

10

39

Weikeng Chen | BIP-420 🐱

@weikengchen

1 month

We improved the multiplication performance for Circle STARK related fields.

StarkWare 🐺🐱

@StarkWareLtd

1 month

A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet! ₿🧪 A new algorithm for M31 multiplication by @avihu28 reduces multiplication cost by 70%! Once fully integrated into our OP_CAT-based Circle STARK verifier (link below), we expect

14

81

343

4

43

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

I know Succinct core team is mostly MIT and UC Berkeley, but from the MIT people I know they would not have allowed this, and I am deeply sad that Berkeley students are part of this.

Tim Zerrell

@RISCZerrell

2 months

Apparently once you're production ready you no longer need to acknowledge outside contributions to your project

8

19

178

1

0

41

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

why do all the benchmarks against RISC Zero choose to (1) not use precompiles that already exist (2) not use GPU prover although it is right there. The problem is that precompiles exactly challenge the fundamental idea of the Jolt design---zkVM is not about just lookup.

Justin Thaler

@SuccinctJT

6 months

1/ We're excited to share the initial release of Jolt, a new approach to zkVM design. Early benchmarks indicate it outperforms RISC Zero by ~6x and SP1 by up to 2x. Major optimizations are still in the pipeline.

109

119

615

3

2

41

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

A TurboPlonk proof actually looks like a human face.

2

3

35

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Our paper “MPCAuth: Multi-factor Authentication for Distributed-trust Systems” (Sijun Tan, Weikeng Chen, Ryan Deng, Raluca Ada Popa) has been accepted in IEEE S&P 2023. This is a complete rewrite of

MPCAuth: Multi-factor Authentication for Distributed-trust Systems

Systems with distributed trust have attracted growing research attention and seen increasing industry adoptions. In these systems, critical secrets are distributed across N servers, and computations...

eprint.iacr.org

1

11

37

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

Wow @zksync . This can go to the history textbook.

Ryan Sproule

@sproule_

7 months

if you look close at @zksync L1 commitment fees you can see when dencun went live

107

72

500

1

0

37

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

This is my thesis for the incoming year.

3

4

36

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

Our portfolio company, RISC Zero, is hiring a DevRel.

1

3

35

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

@Arminsdev @Ethan_Heilman Does it mean a testnet will be up soon?

9

6

27

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

If zkEVM is too powerful (and with a lot of debates), would there be an open letter like the one against GPT5, to call for a pause on zkEVM? (Nay I would not sign)

2

3

33

Weikeng Chen | BIP-420 🐱

@weikengchen

28 days

I will be in Seoul this Wednesday and the rest of the week!

BTCON Seoul

@BTCON_Seoul

28 days

Speaker Announcement @weikengchen , Research Partner at @l2iterative will be speaking at #BTCONSEOUL @l2iterative invests in the architects of the next digital era, backing blockchain initiatives that stand at the frontier of technological convergence, societal transformation,

0

3

1

2

33

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

"When you submerge 4 Nvidia consumer GPU cards into the Sea, the salty water becomes healthy." This is how Nvidia's "blockchain" exception to data-center use of consumer-grade cards benefits zk-ML and zk-Rollup.

Nvidia Curbs Data Center GPU Use – But Crypto Miners Are Excluded

GPU maker Nvidia has tweaked its software license agreement to limit the use of its products by data centers – unless they're mining cryptocurrencies.

www.coindesk.com

0

1

25

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

Vitalik has pivoted into Circle STARK.

A₿del ∞/21M

@dimahledba

3 months

@VitalikButerin casually wrote a Circle STARK prover and verifier and presented his journey on the main stage of StarknetCC. I love how he is just sharing what he is passionate about. No effort to package it into bullshit, just thinking about how those new efficient primitives

12

41

209

2

0

29

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

I am not surprised that SP1 may play with numbers. This is a Paradigm thing.

0

1

29

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

I created a list "zkEVM debates". Will be adding more people...

1

5

28

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

Hi, SP1

RISC Zero 🟡

@RiscZero

4 months

3/ Benchmark Highlights ⏫ Across the board, a properly configured RISC Zero zkVM outperforms a similarly configured SP1 deployment in both cost and speed. This holds true: → In the cloud →On consumer Macs (M2 Max and M3 Max) →On consumer PCs with NVIDIA GPU

1

5

54

4

0

28

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Introducing Plonky4: (this github org is owned by the same team)

Plonky4

GitHub is where Plonky4 builds software.

github.com

Fede’s intern

@fede_intern

1 year

Plonky 3 codebase is excellent. I think it's some of the best things that exist in this industry. I need more time to dive more into it. We will be copying and using many ideas from here in our lambdaworks STARK prover. We will obviously reference them. Thanks @dlubarov for

3

26

160

3

5

27

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

I have been telling portfolio companies NOT to open-source any code because “backed by” will copy. It is crucial that RISC Zero recursion circuit remains only half-open-sourced so that “backed by” doesn’t have recursion.

david phelps 🐮🏰🃏🐘

@divine_economy

6 months

i still find it wild how venture-backed competitors build directly on their competitors' open source code and i'm all for it means you have to win not by siloing innovation but on network effects, economies of scale, and being first to market with new tech

4

7

58

10

2

26

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

An update about DZK.

Weikeng Chen on LinkedIn: An update about DZK DZK was originally co-founded by Rami Akeela and…

An update about DZK DZK was originally co-founded by Rami Akeela and Weikeng Chen. Rami Akeela, who was the co-founder and CEO, left DZK in February 2023. I…

www.linkedin.com

4

2

26

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

@dankrad The problem is this: if you were not in EF, this would not happen.

1

23

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Got followed by @VeridiseInc ! …wait, does that mean that my code might have a bug?

3

0

26

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

This video is the first time we talked about reusing Bitcoin PoW in STARK verification.

Antalpha Labs

@Antalpha_Labs

3 months

Reuse Bitcoin PoW By @weikengchen Research partner of L2 Iterative

2

4

18

2

3

26

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Now that Aztec has given up privacy payments, you should take a look at Findora, probably the only privacy payment project other than Zcash nowadays.

2

15

24

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

To clarify, I am still in Findora/Discreet Labs as the Chief Scientist, while rebuilding the team at DZK.

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

An update about DZK.

4

2

26

2

3

23

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

We have a great video for the upcoming release of triple masking.

1

4

23

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

And yes, surprisingly, @_bfarmer has not yet tweeted about zkSync's moving to the Goldilocks field. @gluk64

5

0

24

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

This is a very important result for Reed-Solomon-based proof systems. Particularly, it cuts the number of hashes by half, which has significant value to, for example, basically every ZK company that doesn't use Halo2 today.

Giacomo Fenzi

@GiacomoFenzi

7 months

Say hello to STIR 🥣! STIR is an IOPP for RS which, compared to FRI, has shorter arguments (~2x) and a faster verifier (~1.2x) that performs fewer hashes (~2x). Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev. -

15

48

203

1

2

24

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

Just use STARK

Aligned

@alignedlayer

5 months

Smashing on-chain verification costs The current on-chain verification costs in Ethereum are high, reaching 100M USD per year. These costs come from data storage, access, and computation. Aligned is poised to revolutionize the cost landscape of zero-knowledge proofs,

340

26K

27K

2

6

21

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

replacing my old laptop with a M3 Max MacBook Pro using the $STRK ECMP airdrops. Thanks @Starknet @argentHQ . Thanks @GuthL . And thanks @ZeroSync_

3

0

24

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

Honestly speaking Liam looks like Jesus in this picture.

Simanta Gautam

@simanta_gautam

2 months

SNARKnado2 in Kathmandu 🔜 coming to you…

4

58

3

0

24

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

In less than one hour, I will be talking about the other direction of "application-specific", that is a *totipotent* software stack for ZKP, and why it is important for developing ZKP applications, as well as hardware-software co-design for ZKP.

ZPRIZE

@z_prize

2 years

🤝 We're chatting with ZPrize architect @weikengchen 1 week from today about his involvement in the competition. 👀 He'll also be sharing some alpha... 🔔 Set that reminder!

0

2

12

0

7

22

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

As bytecode equivalence becomes the norm for zkEVM, I think the language war has to some extent concluded…

Leo Alt

@leonardoalt

1 year

zkwars are too intense. Why can't they be like language wars, where we all just blame JavaScript and move on happily? Actually, what's the JS of zk?

2

1

18

0

3

18

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Aleo is developing WebGPU enhanced proof generation. 150x speed up, without using any ASIC.

Evan Marshall

@CoralRelief

1 year

We're going to start posting some benchmarks for @AleoHQ in the next couple weeks. We're already seeing 150x speedups for basic finite field arithmetic. Stay tuned.

2

14

3

2

21

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Ingo’s danksharding is verifiably 6x-7x faster than state of the art parallel solutions. And importantly, without using 4nm ASIC.

Ingonyama

@Ingo_zk

1 year

9/ our approach to danksharding is unique and innovative, currently 6x-7x faster compared to parallel version of rust-kzg with blst-from-sctatch backend. Primitives such as batched-NTT running up to 30x faster than supranational Sppark.

1

8

0

1

22

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

…maybe we should give it to @aztecnetwork ? @Zac_Aztec

Pratyush Mishra

@zkproofs

4 months

hilarious that matterlabs is trying to trademark zk when their products provide… no actual zk guarantees

5

9

80

3

0

22

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

CAT coming to signet soon

Ethan ✨"@[email protected]"✨ Heilman 🐱

@Ethan_Heilman

5 months

At block 193516 (only 20 blocks away)

6

4

28

6

3

17

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

Nubit is a Bitcoin-native DA layer that can be used for Bitcoin L2s and other applications. We are glad to be one of the pre-seed investors.

Nubit

@nubit_org

6 months

1/ We are elated to announce our $3M Pre-Seed round participated by prominent investors, including dao5 ( @daofive ), OKX Ventures ( @OKX_Ventures ), and Primitive Ventures ( @primitivecrypto ). Nubit is pioneering a bitcoin-native future with enhanced data throughput and availability

32

70

247

4

0

21

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

zkemail contributor gets university award and recognition

SoraSue

@SoraSue77

7 months

この度、ゼロ知識証明などの高機能暗号に関する研究や、zk emailに関する国際的な活動を評価していただき、東京大学総長賞を受賞しました。研究開発を支えてくださった皆様に感謝申し上げます。今後も実用的・高機能な暗号技術の研究及びその応用と普及に貢献していきます。

6

59

418

2

0

20

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

Huge

Udi | BIP-420 🐱

@udiWertheimer

4 months

BREAKING MEOWS: @StarkWareLtd , developer of the StarkNet rollup ($12B FDV): 🙀announces plans to scale bitcoin with OP_CAT 🙀adds CAT emoji to username 🙀launches $1M fund to support OP_CAT development do you get it yet anon?

106

197

737

2

1

20

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

is now on-chain

Digital Wallet, Identity Verification, and More | ID.me

id.me

RISC Zero 🟡

@RiscZero

7 months

Our latest demo, built using the RISC Zero zkVM, unlocks identity for Web3: ✅ Prove & mint your identity as a soulbound NFT ✅ Maintain on-chain privacy, stay compliant ✅ Links Web2 authentication with Web3 for easy implementation Start building ▶️

11

43

191

1

3

20

Weikeng Chen | BIP-420 🐱

@weikengchen

11 months

Ok this is a web2 use case we are seeing here and it can be big.

RISC Zero 🟡

@RiscZero

11 months

We believe ZK tech is ready for mass adoption and the number of real world usecases is staggering. We're proud to share our latest ZK-tech showcase: Bonsai Pay, an open source ZK-powered payments platform that enables users to send crypto to any Google account using Ethereum.

30

236

584

0

3

19

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Warning: the discussion in this tweet thread (including upstream) has been fruitful and can take more than half an hour to read in its entirety

1

19

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Congratulations that a constructive SNARK-friendly hash function paper gets into CRYPTO 2023! (Image by Midjourney.)

Robin Salen

@RobinSalen

1 year

Now that CRYPTO'23 results are officially out, I'm super proud to announce that Anemoi and Jive will be at Santa Barbara in August 🥳🥳 Check out our paper() if you haven't yet!! And huge congrats to all my co-authors! ❤️

4

6

34

1

19

Weikeng Chen | BIP-420 🐱

@weikengchen

10 months

We released our second article, "Tech Deep Dive: Verifying FHE in RISC Zero, Part II". We implemented a profiler, called profiler0, and a debugger, called gdb0.

0

9

18

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

So, Worldcoin is actually ZK-DID.

Steven Smith 🛡⚪️

@reldev

1 year

To prove inclusion in the set, the wallet creates Groth16 ZK proofs that prove you know the private key to one of the public keys in the Merkle tree.

1

2

6

3

0

19

Weikeng Chen | BIP-420 🐱

@weikengchen

11 months

Last year @SamsungNext joined @z_prize for mobile ZKP acceleration, already thinking about ZK chips in the phone. It could be a small dot in the PCB. I think it is a time for @Qualcomm and @Arm to explore.

Howard Wu

@1HowardWu

11 months

Think browser certificates & passkeys, digital IDs, GPS location proofs, CNP transactions, age verification, election tallying/voting machines, authenticated images/videos in journalism, to name some. A big overlap being ZK chips will be everywhere

3

8

55

0

19

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Now Merkle tree is cheap.

IACR

@IACR_News

2 years

#ePrint An efficient verifiable state for zk-EVM and beyond from the Anemoi hash function: J Liu, H Patil, AS Peddireddy, K Singh, H Sun, H Sun, W Chen

0

1

15

1

2

18

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Findora is working to deploy WASM prover from ZPrize into the SDK. This would be in March.

Alex Pruden

@apruden08

2 years

3/6: The purpose of the recent @z_prize competition was to ensure those optimizations end up #opensource , promoting a healthy ecosystem that shares value w/ users as opposed to being captured by a few specialized & well-capitalized players

4

1

12

1

3

18

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

We got aligned.🟩

Fede’s intern

@fede_intern

6 months

Talking about private equity, hedge funds and crypto with the fiends of @l2iterative . Thanks @weikengchen for pushing us to meet @klee_049 . They got aligned.

1

0

10

2

0

17

Weikeng Chen | BIP-420 🐱

@weikengchen

1 month

Now you can create your own circuits/zkVM with Zirgen and potentially raise millions of dollars.

RISC Zero 🟡

@RiscZero

1 month

RISC Zero is now fully open source. 🟡 We released our entire circuit source code and compiler tech. Empowering developers, partners, and auditors worldwide to confidently build, verify, and innovate.

37

104

589

0

18

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

PolyU and HKU brought DIZK to Plonk, an effort toward modern distributed proof generation. Now, one can generate proofs with low latency without waiting for ASICs.

ZPRIZE

@z_prize

1 year

🥇 The winning team is made up of students from @HongKongPolyU and @HKUniversity . They reduced proof generation time by 40%, and developed a new dispatcher to efficiently distribute the prover's computation across a cluster of computers.

1

3

9

1

7

18

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

🌟 مرحبًا! تعلموا عن البراهين صفر المعرفة باللغة العربية مع قناتنا على #يوتيوب! اشتركوا ليصلكم كل جديد: 📚💡 #ZeroKnowledgeProofs #Privacy #Learn

EGY-ZKP

www.youtube.com

3

18

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

I upgraded Chrome to 113. WebGPU is a stable feature now! ZKP WASM acceleration is now completely different.

Evan Marshall

@CoralRelief

1 year

@WebGPU is going to make ZKP technology actually accessible to the client without delegation. This is essential to #privacy It's a large challenge working with @WebGPU in its early state but there are workarounds for most issues. And you can't ignore the performance gains.

1

7

1

16

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

Circle STARK is implemented and open-sourced in about one month after the whitepaper. This is faster than an academic conference paper review process :)

StarkWare 🐺🐱

@StarkWareLtd

6 months

Another ZK event in Greece? Hold my beer 😏 @PapiniShahar , Cairo wizard at StarkWare, will be present to introduce our new high-performance prover, Stwo, to the Greek community 🇬🇷 📅 11 April at 9:05AM UTC+3!

10

14

64

0

2

17

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Wait, what? “Federico grew up in Buenos Aires with his parents and sister. He learned to code at age 12, inspired by his software engineer father, and at age 14, sold his first program—a plugin for the video game Minecraft—for $10,000.”

He stole $200 million. He gave it back. Now, the hacker is explaining why

For the first time, the man behind 2023's biggest crypto hack explains himself

www.coinage.media

1

0

16

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

I happen to know a few professors and practitioners working on this. This is a relatively new research area, and there is a lot of potential. Let me know if you are interested. We should create an initiative to study this new family of tools.

Lúcás Meier

@cronokirby

2 years

Someone should invent like "Zero-Knowledge" ZK SNARKs, where not only is the proof succinct, but it also doesn't reveal anything else beyond the truth of the statement. Is anyone working on this?

19

4

81

1

16

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

first open-source production-ready Starknet prover

ZeroSync

@ZeroSync_

1 year

@andrewmilson just completed the world's first production-ready open source STARK prover. He generated a proof and submitted it to @StarkWareLtd 's onchain verifier. It was accepted, which proves that it works. We feel honored to have him as part of the ZeroSync team!! 💪🤓🧡

4

20

65

0

3

17

Weikeng Chen | BIP-420 🐱

@weikengchen

3 months

miners support Bitcoin innovation

Udi | BIP-420 🐱

@udiWertheimer

3 months

“We all appreciate the prosperity that the ordinals protocol brought to the mining ecosystem” Andy Chow, @AntPoolofficial CEO

19

37

193

7

2

7

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

More info about Plonky3 can be found in this Delendum's workshop video by Daniel

Daniel Lubarov, Brainstorming Plonky3

You can find the slides by following this link: https://drive.google.com/drive/folders/15Ih1B4Pjr-oorAa33qlAgVH5klCHwSG3?usp=share_link.

www.youtube.com

Brendan Farmer

@_bfarmer

2 years

@gluk64 @0xPolygon @zksync @EliBenSasson @ebfull @rel_zeta_tech @Zac_Aztec @OanaCiobotaru Just to reiterate, when you reimplement plonky2 and call it “RedShift” - it’ll be transparent that you’re doing so. Consider just waiting for plonky3, it’ll be a lot faster! 😁

3

1

8

0

3

17

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

One of our portfolio companies and one of our limited partners!

RISC Zero 🟡

@RiscZero

4 months

RISC Zero is coming to @Starknet Our verifier will deploy on Starknet, enabling devs to compute without limits. This integration enhances developer expressivity with Rust & enables cross-verification between proof systems. The future is verified. 🟡🐺

13

35

211

2

0

17

Weikeng Chen | BIP-420 🐱

@weikengchen

5 months

This artist is a genius. Check out the CatVM book. It is a masterpiece.

Theresa | Liebchen | High Witch 🧙‍♀️✨

@theresalieb

6 months

Read THE BOOK, guys! 😂 📖 🐱

3

1

21

3

5

17

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

M31 and BabyBear Bitcoin script implementation is now part of BitVM.

яobin linus

@robin_linus

6 months

Great work by @weikengchen : We now have finite field arithmetic for the M31 and Baby Bear fields, as well as for their degree-4 extensions. These are the basis for implementing STARK verifiers on Bitcoin. Exciting times for Script research!

16

57

303

1

0

16

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

Regarding the war---Cairo vs Solidity. I added @fede_intern to the famous "zkEVM debates" list.

2

1

16

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

We updated our note on implementing Anemoi in TurboPlonk (). It is permissible to include a congratulations message in the ePrint note, right? @Leptan

2

16

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

FPGA cannot compete with GPU at this moment. Reasonable costs for ASIC is $10m, not ~$500m that one newcomer company plans to spend for one ASIC.

Cysic

@cysic_xyz

1 year

Get some free time on weekends and interested in ZKP hardware acceleration. Perfect! We get you something to read. ZK Hardware Acceleration: the Past, the Present and the Future:

2

22

61

2

1

15

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

And it has code built over @arkworks_rs : bullish on Chiesa. bullish on Rust.

GitHub - WizardOfMenlo/stir: STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries

STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries - WizardOfMenlo/stir

github.com

Giacomo Fenzi

@GiacomoFenzi

7 months

Say hello to STIR 🥣! STIR is an IOPP for RS which, compared to FRI, has shorter arguments (~2x) and a faster verifier (~1.2x) that performs fewer hashes (~2x). Joint work with Gal Arnon, Alessandro Chiesa and Eylon Yogev. -

15

48

203

0

16

Weikeng Chen | BIP-420 🐱

@weikengchen

2 months

They actually did the Winternitz part and the code is open-sourced. Respect!

orkun 🍊🍋

@0x_orkun

2 months

1) What 👀

0

3

30

0

2

16

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

I believe that ZKP has way passed the time when we look at asymptotic complexity. We count.

1

15

Weikeng Chen | BIP-420 🐱

@weikengchen

3 years

What @FakeIACR was proposing now happens.

0

6

15

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

welcome to Bitcoin

Ju L₳u /

@arpento

4 months

#zkGM

109

116

973

0

14

Weikeng Chen | BIP-420 🐱

@weikengchen

1 year

So, zkML is now 50x faster.

Cysic

@cysic_xyz

1 year

Although our acceleration result for the common modules is amazing, but there is still room to improve for end-to-end acceleration, since the percentage for accelerated MSM and NTT is quite small. Our job in the next months is to accelerate every components in the process.

0

5

23

1

0

15

Weikeng Chen | BIP-420 🐱

@weikengchen

4 months

Maybe Starkware can get a similar LLVM compiler backend for Cairo! @GuthL @dimahledba

Lita

@lita_xyz

4 months

Valida Alpha Release has arrived. With the alpha release of our C Compiler and LLVM compiler backend, devs can now compile, run, and test C programs on #valida - our brazenly fast and performant zkVM. [1/]

29

60

282

2

1

14

Weikeng Chen | BIP-420 🐱

@weikengchen

7 months

I need to credit Fede here for bringing up this cool, coindesk-level idea.

Fede’s intern

@fede_intern

8 months

never expect a cryptographer to know what Doom is.

8

0

29

1

15

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

@zhenfei_zhang ported Spartan (from @srinathtv ) to arkworks-rs, an exciting work: @arkworks_rs

GitHub - zhenfeizhang/ark-spartan: Spartan on Arkworks

Spartan on Arkworks. Contribute to zhenfeizhang/ark-spartan development by creating an account on GitHub.

github.com

0

4

13

Weikeng Chen | BIP-420 🐱

@weikengchen

6 months

Devnet tomorrow. Come in and grab a proof.

Teemu π

@teemupai

6 months

The @gevulot_network stress tests are getting serious. 10K+ proofs in 24 hours. All systems running smoothly. Devnet launches tomorrow!

5

9

48

0

2

12

Weikeng Chen | BIP-420 🐱

@weikengchen

11 months

Thanks @CelestiaOrg for the tokens. Sold and put into @elusivprivacy .

Fede’s intern

@fede_intern

11 months

celestia 🍾

1

38

1

14

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

We uploaded the full version of "HOLMES: Efficient Distribution Testing for Secure Collaborative Learning" (to appear at USENIX Security 2023) in IACR ePrint. We basically rewrote the entire paper to get the paper in. It is instructive!

HOLMES: Efficient Distribution Testing for Secure Collaborative Learning

Using secure multiparty computation (MPC), organizations which own sensitive data (e.g., in healthcare, finance or law enforcement) can train machine learning models over their joint dataset without...

eprint.iacr.org

0

14

Weikeng Chen | BIP-420 🐱

@weikengchen

1 month

I think the good thing about OP_CAT is that it can remove some multisig assumptions. ZKP is expensive to verify, but OP_CAT itself, without ZKP, can also be used to enforce a lot of things (like, people have been building vaults).

₿ Steve Lee | #TeamSlowAndSteady

@moneyball

1 month

@Ethan_Heilman @TheBlueMatt @theinstagibbs LN provides unilateral exit at minimal cost (fees for an on-chain txn). My understanding is rollups have centralized sequencers and it is a research project to try to avoid this? And multi-sigs in which at least 1 party must be honest unless bitcoin adds a ZKP opcode?

3

0

2

1

2

14

Weikeng Chen | BIP-420 🐱

@weikengchen

2 years

Updated our note as two of the open problems are just solved by Melissa Chase (Microsoft Research), Michele Orrù (UC Berkeley), Trevor Perrin (Signal Foundation), and Greg Zaverucha (Microsoft Research). @mmaker @MSFTResearch @trevp__

2

6

14