Jens Groth @JensGroth16 Twitter profile

Last Seen Profiles

@ShePursued

@SfNOttawa

@wa_alme

@swords_mr

@DarnishaLary1

@EverngamR

@jlosreign

@joaqun_gmez

@AimanGrey

@stw46

@LaurenBoo1997

@metaculus

@skaibluez

@Zzwwxxkk

@chaeinloop

@PROLIM_anz

@ParticleNtwrk

@trr1168385

@LightNinG_VLRT

@LfcToyyib

@Willows_worldxx

@realityrxbert

@mainichi_volley

@rosaelvira10

@bijayacharya

@mainichi_volley

@DogJr2fast4u

@bokeplokalmalam

@Petty_Spaghetti

@pasurtihot

@zkyriz_

@ToroClorofila

@leoestebes

@HopelessCabbage

@WallStSentiment

@bokeplokalmalam

Jens Groth

@JensGroth16

1 year

Nice article comparing the Internet Computer blockchain to traditional serverless FaaS computing @dfinity . TL;DR same efficiency, but also stateful and decentralized!

The Internet Computer: A blockchain that offers stateful decentralized serverless computing

A recent peer-reviewed article shows that the Internet Computer provides serverless computation comparable to existing cloud providers…

link.medium.com

6

54

159

Jens Groth

@JensGroth16

3 months

Yay, our first zkVM

Nexus

@NexusLabsHQ

3 months

1/ Introducing: The Nexus 1.0 machine. We are scaling ZK to 1 trillion Hz of compute capacity.

31

60

269

12

16

142

Jens Groth

@JensGroth16

2 years

Congratulations to my colleague at DFINITY Michel @michelabdalla and his co-authors Thorsten, Eike, Sabrina and Doreen with their upcoming paper at CRYPTO 2022 !

Crypto 2022

42nd Annual International Cryptology Conference

crypto.iacr.org

Doreen Riepel

@doreenriepel

2 years

I am happy to announce that our paper "Password-Authenticated Key Exchange from Group Actions" has been accepted to CRYPTO 2022 - joint work with Michel Abdalla, Thorsten Eisenhofer @_thrsten , Eike Kiltz @crypto_theory and Sabrina Kunzweiler

4

11

83

2

24

90

Jens Groth

@JensGroth16

2 years

A step towards web3: DFINITY's developer portal is now available in an on-chain smart contract:

Internet Computer | Internet Computer

Deploy smart contracts and build scalable dapps on the Internet Computer - the world’s fastest and most powerful open-source blockchain network

hwvjt-wqaaa-aaaam-qadra-cai.raw.ic0.app

DFINITY

@dfinity

2 years

The new Internet Computer Developer Portal is now live: 🎉 👀 And also available on the #InternetComputer : Find sample code, the Internet Computer Wiki, the community forum and information about #Supernova .

15

87

340

2

17

81

Jens Groth

@JensGroth16

1 year

tech stack - Decentralized order book exchange fully in a smart contract on the Internet Computer - Its smart contract uses the IC Bitcoin integration for BTC transfers - It signs its BTC transactions via the IC threshold ECDSA signing service

dom.icp ∞

@dominic_w

1 year

@atterX_ @trichardpope @KyleSamani @dfinity @thestorecloud @JesseThaGreat_ @RealDanMcCoy Lot's interesting fully on-chain things happening on ICP. If you like DeFi, see . A beta CeFi-style exchange built with ICP smart contracts. Even the UX is directly created by the smart contracts. Will eventually be a DAO: fully transparent, no backdoors..

2

20

92

1

17

57

Jens Groth

@JensGroth16

3 years

Congratulations to my good colleague at @dfinity Michel Abdala and his co-authors and @hashbreaker for their PKC Test-of-Time Awards!

IACR

@IACR_News

3 years

PKC 2022 Test of Time #Award

0

3

9

0

2

38

Jens Groth

@JensGroth16

3 years

'Blockchainproject Dfinity heeft dreamteam samengebracht'

Het digitale token Internet Computer noteert sinds vorige week bij de tien grootste digitale munten ter wereld. Het project achter het token wil het internet hervormen. Maakt het enige kans? We...

www.tijd.be

0

6

33

Jens Groth

@JensGroth16

3 months

Amazing to get support from @lightspeedvp @PanteraCapital on our journey towards Internet scale verifiable computation at @NexusLabsHQ ! @danielmarinq @michelabdalla @alexanderfowler

Nexus

@NexusLabsHQ

3 months

1/ We're excited to announce a $25M Series A round co-led by @lightspeedvp and @PanteraCapital , with participation from @dragonfly_xyz , and more, to bring zero-knowledge proofs to the fabric of the Internet. We're scaling the Nexus 1.0 zkVM to 1 trillion Hz of compute capacity.

47

125

604

1

4

32

Jens Groth

@JensGroth16

2 years

Martin Raszyk is making great progress in giving provable guarantees for correctness of the Internet Computer's interface specification. Thanks for highlighting it @nomeata and for your help in his work!

Joachim Breitner

@nomeata

2 years

The @dfinity #internetcomputer 's specification, previously only in prose and a pseudo-mathematical notation, has been fully formalized in the proof assistant Isabelle, by Martin Raszyk. A big and important step to a well-defined & well-understood system!

0

15

48

0

4

32

Jens Groth

@JensGroth16

2 years

And I just staked all my liquid ICP for 8 years Palo ergo sum* 😀 * I stake, therefore I am

dom.icp ∞

@dominic_w

2 years

These markets so dumb - and totally fixed Just used an old crypto exchange account to spend some $$$ on $ICP Bought into my own supposed rug pull🤪

129

97

632

1

4

28

Jens Groth

@JensGroth16

1 year

@brutoshi_ @tyyim So cool to really nail the motivation with an in-the-flesh user of our cryptographic ECDSA research in the audience @brutoshi_ and hear how you're using it at @AstroX_Network !

2

23

Jens Groth

@JensGroth16

3 months

Always enjoy the IC3 blockchain camps @initc3org

IC3

@initc3org

3 months

1/ @JensGroth16 from @NexusLabsHQ introduced zkVMs and incrementally verifiable computation (IVC). In IVC-based zkVMs, instruction execution is local, but memory accesses may refer to data from earlier instruction cycles. He also discussed techniques to verify these memory

1

2

8

0

2

23

Jens Groth

@JensGroth16

2 years

Threshold privacy ideas for the Internet Computer

Gregory Neven

@gregoryneven

2 years

Finally lifting the curtain on some ideas that have been brewing in our minds for quite a while now. Can't wait to see your reactions, ideas, and use cases!

0

3

17

0

6

20

Jens Groth

@JensGroth16

2 years

Mystery project's marketing strategy is working on me 😀

Spinner

@spnrapp

3 years

1/ Hello #icp , I'm Spinner. Please meet zk-SNARK. @dfinity @dominic_w @JanCamenisch @JensGroth3

35

84

234

0

2

20

Jens Groth

@JensGroth16

3 months

@0xReina Single-threaded prover efficiency is lower bounded by native efficiency but with parallelization we can achieve high throughout

1

0

Jens Groth

@JensGroth16

21 days

@kobigurk Wow, you've really nailed the pronunciation!

1

0

14

Jens Groth

@JensGroth16

3 years

@mexitlan Let me pass on the full credit to my colleagues Roman Kashitsyn and Bogdan Warinschi!

1

3

14

Jens Groth

@JensGroth16

17 days

A pleasure to chat again, thanks for having us on @AnnaRRose

Zero Knowledge Podcast

@zeroknowledgefm

17 days

🎙️Last week, @AnnaRRose spoke with @JensGroth16 + @danielmarinq from @NexusLabsHQ . They caught up on all things Groth16, formal verification, Nexus, folding, IVC and much more! Listen here:

1

4

13

0

1

14

Jens Groth

@JensGroth16

5 months

@JanCamenisch @RealWorldCrypto @AnnaLysyanskaya Tillykke Jan, flot og velfortjent pris!

1

0

5

Jens Groth

@JensGroth16

2 years

@icpjesse @kylelangham Just started on @Neuroticpod , nice for the weekend, glad there's already nine more on tap!

Andrew ∞

@Chepreghy

2 years

@icpjesse @kylelangham Each @Neuroticpod is better than the last! Looking forward to the next!

0

2

1

13

Jens Groth

@JensGroth16

3 months

@danielmarinq @moodlezoup Certainly, bold and structured!

0

4

Jens Groth

@JensGroth16

3 months

@rel_zeta_tech @NexusLabsHQ @initc3org Computing the commitment change would indeed be more, but the slide refers to the constraints to verify, i.e., that the delta inside the commitment is correctly computed, afaiu the commitment changes are accumulated so do not appear as direct costs

0

2

Jens Groth

@JensGroth16

2 years

Trying hard not to be biased

Spinner

@spnrapp

2 years

7/ So our dear knowledgeable #ICP friends, which approach would you like us to take?

1

0

2

1

0

9

Jens Groth

@JensGroth16

3 months

@aisconnolly Thanks @aisconnolly !

0

3

Jens Groth

@JensGroth16

2 years

@cronokirby We're implementing threshold ECDSA for the Internet Computer at DFINITY

0

2

10

Jens Groth

@JensGroth16

3 months

@fede_intern Thx!

0

3

Jens Groth

@JensGroth16

6 months

@danielmarinq @mstrakastrak It saves a group element in the SRS

0

2

Jens Groth

@JensGroth16

3 years

DFINITY Announces CHF 200 Million Program to Support the Internet Computer Developer Ecosystem by @dfinity

0

8

Jens Groth

@JensGroth16

1 year

- and the security analysis forced @VictorShoup and me to do some math

0

8

Jens Groth

@JensGroth16

3 months

Awesome, thanks!

Fede’s intern

@fede_intern

3 months

@JensGroth16 Congrats Jens, love your work. We will integrate it with @alignedlayer

0

7

1

0

8

Jens Groth

@JensGroth16

1 month

@aisconnolly @JanCamenisch @samuelburri That's such a beautiful departure thread, great projects and great colleagues and collaborators, thanks for the kind words @aisconnolly and best of luck to you!

0

7

Jens Groth

@JensGroth16

3 months

@GDanezis Thx @GDanezis !

0

Jens Groth

@JensGroth16

2 years

@real_or_random @Hactar0 @bramcohen @robot__dreams @jonschben @doschroeder The pairings are used to build encryption with forward secrecy. So depends on your goal: if forward secrecy is a non-objective you can switch to a pairing-free scheme.

1

0

6

Jens Groth

@JensGroth16

1 year

@lastmjs 1/ The proposal makes good sense. Some thoughts: Pro: 1. Pseudonymity makes coercion harder 2. Nudges human processes towards less engagement between node providers, which may help wrt decentralization 3. Offers node providers privacy

1

0

6

Jens Groth

@JensGroth16

2 years

@icpburn ICP is afaict listed in multiple segments, storage is one, but also e.g. smart contracts and Web3.

1

0

6

Jens Groth

@JensGroth16

1 year

@VictorShoup @dfinity Thanks Victor, always great to work with you!

0

1

6

Jens Groth

@JensGroth16

1 year

@gregoryneven @aisconnolly @RoboticaMr @RealWorldCrypto Excellent talk @gregoryneven !

0

5

Jens Groth

@JensGroth16

3 months

@joakimhi @alexanderfowler from Nexus will be at EthCC

0

Jens Groth

@JensGroth16

1 year

@lastmjs 2/ Con: 1. Harder to detect changes, e.g., a node provider company that changes owners 2. Harder to do ad hoc checks, mostly checks will be now be done at enrollment and be pre-configured 3. Reduces potential motivating factor, social embarrassment if your nodes are flaky

3

0

5

Jens Groth

@JensGroth16

2 years

@afat @lightning_lad91 @lastmjs @mexitlan Currently the Internet Computer does not use secure enclaves but DFINITY is working towards enabling SEV-SNP in the future. Secure enclaves are not foolproof against a technically skilled attacker with physical access to a machine though.

1

0

5

Jens Groth

@JensGroth16

1 year

@lastmjs 3/ Complexity: 1. Adds another component. But maybe just in discussion of node provider enrollment, so modular 2. Anonymity is not perfect, so need to be careful not to trust too much in security model 3. Add decentralization aspects, e.g., which KYC provider is used

1

0

5

Jens Groth

@JensGroth16

3 months

@rel_zeta_tech @wyatt_benno @NexusLabsHQ @initc3org Not sure, but it is a subset of the one at zkproof

Keynote: Memory checking in folding-based zkVMs - Jens Groth (Nexus)

This is the official stream of ZKProof 6 in Berlin.A detailed agenda can be found at https://zkproof.org/events/zkproof-6-berlin

www.youtube.com

1

0

4

Jens Groth

@JensGroth16

3 months

@Shaadyshin Thx. We'd like to improve prover efficiency; one step is to switch memory-checking techniques

1

0

1

Jens Groth

@JensGroth16

29 days

@ventalitan @lita_xyz @dlubarov @RiscZero @SuccinctLabs @NexusLabsHQ Hi @ventalitan , you may find it useful to look at the discussions about benchmarking at zkproof, e.g. @zkproof

0

4

Jens Groth

@JensGroth16

2 months

@GiacomoFenzi @GalArnon42 Congrats!

2

0

4

Jens Groth

@JensGroth16

3 months

@lastmjs @danielmarinq @_BoroG @drownwave @dfinity 1 GHz single-threaded is too optimistic IMO, let's pass the 1MHz mark before setting the next target

1

0

4

Jens Groth

@JensGroth16

3 years

@TweetBobrof @dominic_w

Proposal: 31471

Upgrade Nns Canister: ryjl3-tyaaa-aaaaa-aaaba-cai to wasm with hash: 61a312e4bf4f86899edabf6b3cedc504b2b0825d9b7956abea65582095692a9a

dashboard.internetcomputer.org

0

4

Jens Groth

@JensGroth16

2 years

@dominic_w @finkd @dfinity Meta preparing for a homoglyph attack?

0

1

3

Jens Groth

@JensGroth16

2 years

@Antonio10213350 @MariusCrypt0 ICP supply increased mainly through voting rewards to stakers (atm 8% per year) and payments to node providers (much smaller). ICP supply is decreased through payment for usage (currently small but increasing).

2

0

4

Jens Groth

@JensGroth16

3 months

@lastmjs @0xReina It's way more expensive to prove than compute. An apples-to-apples metric would be the number of VM cycles it takes to compute a VM cycle. Don't have the exact number, but atm it's in the millions

0

2

Jens Groth

@JensGroth16

1 year

@lomeshdutta @VictorShoup @dfinity Thanks Lomesh!

0

3

Jens Groth

@JensGroth16

2 years

@fkmultiversx @MariusCrypt0 There are many types of transactions on the Internet Computer: update calls (writes), query calls (reads), token transfers. There has been ~5.3M ICP token transfers in total, but many more updates and reads ( 5000 per second)

3

0

2

Jens Groth

@JensGroth16

2 years

@csimmonds55 @Vanessa131488 @spnrapp No, I'm full time at DFINITY

0

2

Jens Groth

@JensGroth16

1 year

@0xa1b @dfinity Yep

0

2

Jens Groth

@JensGroth16

3 months

@afat Maintaining the data is orthogonal to the purpose of proving. zkRollups and validiums exemplify two approaches. In rollup you put tx's on the L1 chain (so anybody can recover state later as you suggested), in validium you keep the tx's off-chain (less on-chain storage)

1

0

1

Jens Groth

@JensGroth16

11 months

@csplator @uni_kassel @ntnucrypto Congrats!

1

0

1

Jens Groth

@JensGroth16

2 years

@coinbureau Victor Shoup's analysis of Solana's proof of history

0

2

Jens Groth

@JensGroth16

11 months

@stonecoldpat0 Congrats on your promotion to glorified, well deserved!

0

1

Jens Groth

@JensGroth16

1 year

@lastmjs Periodic renewal would make sense and address 1. With 2 I had in mind ad hoc checks that are not standardized, e.g., raising an alarm if the node provider claims his/her address to be X but you learn there is no such person/entity there.

0

1

Jens Groth

@JensGroth16

3 months

@EliBenSasson Thanks Eli!

0

1

Jens Groth

@JensGroth16

1 month

@SirSwooni91995 Nexus 2.0 looks cool btw, congrats thanks! Nexus is orthogonal to ICP, I joined because I'm excited to work on zk tech with this team ICP has solid tech, and I've in the last months run into a few founders where I suggested the IC would be the right choice, so still a supporter

1

0

1

Jens Groth

@JensGroth16

1 year

@kostascrypto @IACReurocrypt Thanks, very kind of you!

0

1

Jens Groth

@JensGroth16

3 months

@anon_gone The VM can in principle run anything; but in 1.0 the support focus is on Rust only

0

1

Jens Groth

@JensGroth16

3 months

@Shaadyshin I gave a keynote at zkproof outlining ideas for memory checking; the latter is what we're looking into

Keynote: Memory checking in folding-based zkVMs - Jens Groth (Nexus)

This is the official stream of ZKProof 6 in Berlin.A detailed agenda can be found at https://zkproof.org/events/zkproof-6-berlin

www.youtube.com

2

0

1

Jens Groth

@JensGroth16

1 year

@jaysprakash @VictorShoup @dfinity Thanks Jay!

0

1

Jens Groth

@JensGroth16

3 months

@furkanrypt Thanks Furkan!

0

1

Jens Groth

@JensGroth16

2 years

@fkmultiversx @MariusCrypt0 Tests of the Internet Computer show it can do 21K updates per second = 180M/day and 1.1M queries per second = 95B/day

1

0

1

Jens Groth

@JensGroth16

2 years

@elroxu1 @Antonio10213350 @MariusCrypt0 The IC is currently inflationary, but as usage grows may become deflationary. Did not understand your second point, whenever there's a service somebody has to pay the costs (not necessarily per single use, and not necessarily everybody)

1

0

1