Daniel Marin
@danielmarinq
Followers
1,129
Following
507
Media
13
Statuses
247
CEO @NexusLabsHQ | @Stanford
San Francisco, CA
Joined April 2022
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
Wizkid
• 372340 Tweets
APT OUT NOW
• 266025 Tweets
Ruto
• 131071 Tweets
Deputy President
• 95312 Tweets
علي النبي
• 56432 Tweets
Hayırlı Cumalar
• 37650 Tweets
Kindiki
• 32311 Tweets
安倍氏の女装
• 29623 Tweets
Dalton Knecht
• 24579 Tweets
低所得者
• 15594 Tweets
KAIRAIN HANGGANG DULO
• 15429 Tweets
ミミッキュ
• 15012 Tweets
#جمعه_مباركه
• 13711 Tweets
ちゃんのライブ
• 10398 Tweets
Pinned Tweet
The future of the Internet is verifiable.
We are beyond excited to partner with industry giants
@ravi_lsvp
,
@veradittakit
,
@lstephanian
,
@hosseeb
to scale zero-knowledge proofs to unseen levels of compute power.
It's an honor to work with such a dream team
@JensGroth16
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.
51
130
640
24
16
114
Excited to share huge internal alpha at
@NexusLabsHQ
The Nexus Network (v1) is live -- full E2E zkVM distributed proving. Speed is *super super* low, 10Hz global network throughput! 😅😅
Web, mobile and CLI provers are all live.
Supply compute now:
10
9
71
Excited to announce the Nexus 2.0 zkVM!
Substantial engineering improvements from the 1.0:
1. An integration with Jolt from
@a16z
&
@SuccinctJT
2. A new HyperNova prover, invented by
@srinathtv
and
@abhiramko
, built on
@arkworks_rs
3. The new programmatic Nexus SDK in Rust
1/ Today we’re announcing the Nexus 2.0 zkVM – a major leap from last month’s 1.0 release and the next step toward our goal of scaling ZK to 1 trillion Hz of compute capacity.
#zkvm
#zeroknowledge
7
33
141
3
17
66
Nexus was cited here, so replying:
Very true,
@StarkWareLtd
invented precompiles, they’ve been present in the Cairo zkVM for years:
Precompiles & non-uniform computation have been central to
@srinathtv
’s SuperNova and many other teams’ work
4/ And this. Succinct did not invent ZK precompiles
R0 has had them since our initial release; and Valida, which SP1 is based on, was designed to support them from the very beginning as well
But ofc Succinct wants you to think they invented the idea
(From their benches)
3
4
66
0
3
56
Excited to announce the Nexus 1.0 machine!
We are scaling ZK to 1 trillion Hz of verifiable compute.
It’s powerful to see decades of research by many great scientists finally coming together.
cc:
@NexusLabsHQ
@JensGroth16
@alexanderfowler
1/ Introducing:
The Nexus 1.0 machine.
We are scaling ZK to 1 trillion Hz of compute capacity.
31
59
263
7
12
45
Wow seeing a lot of people in APAC, specially Indonesia, supplying compute to Nexus /
@NexusLabsHQ
The network has seen participation from at least 20 countries in < 15 hrs
7
6
41
Classical proofs 🤝 Probabilistic proofs
Advancements in formal methods are now guiding zkVM design -- from compilation, to CPU design & ISA extensions, to arithmetization and witness extraction techniques.
Excited to explore the frontier with
@Pi_Squared_Pi2
Excited to partner with
@NexusLabsHQ
! They’re using advanced techniques with their Proof Compression System. We're also leveraging their Memory Checking Mechanism to create mathematical proofs that will bring ANY programming language on-chain!
1
24
75
1
7
37
1/ We're super excited to work with
@PolyhedraZK
to accelerate the Nexus zkVM with Expander, GKR, and more.
We've known the incredible
@PolyhedraZK
research team led by
@I_NicoNiconi
and
@zhenfei_zhang
for years, and couldn’t be more excited to work with them on pushing the
1/ We're thrilled to announce the Nexus and
@PolyhedraZK
partnership to build a hyper-parallel and ultra-performant zkVM powered by the GKR protocol
5
15
55
2
6
36
Wow the design & frontend Nexus team is on fire
zkVM <-> cube <-> 3D geometry <-> mathematics
New Nexus website live:
5
3
29
Excited to have
@alignedlayer
and
@NexusLabsHQ
work together to streamline zkVM proof verification
Props to
@thisisrj
@fede_intern
@zkdiegokingston
@MauroToscanoDev
& team
Proof verification is one of the largest unspoken technical problems in the space and a huge limitation
1/ We’re aligning with Aligned Layer.
Together, Nexus and
@alignedlayer
will simplify and optimize zero knowledge proof generation and verification. Simply code in Rust, prove it with Nexus, and verify it on Ethereum.
5
12
90
2
8
29
Had a great convo on Nexus, zkVMs, IVC & formal verification with
@AnnaRRose
and
@JensGroth16
last week mid-SBC while at NYC
A few great takes from
@JensGroth16
on standardizing Groth16 with a Solidity / Rust (and maybe C++) verifier w/
@zkproof
Thanks for hosting!
➡️ Don't miss:
@danielmarinq
and
@jensgroth16
dropping knowledge about zero knowledge on the ZK Podcast.
@AnnaRRose
, thanks for having us and for the great conversation.
1
2
19
1
5
23
1 billion rollups coming to Ethereum
@0xkatz
@theappletucker
are tier-1 executors
I remember setting up an L3 for fun on
@Calderaxyz
—
@0xkatz
’s customer service is insane
1
2
20
Working with the
@dragonfly_xyz
team,
@0xsudogm
,
@zorkary
,
@hosseeb
,
@tomhschmidt
,
@ani_pai
,
@casatay
has been a blast
Beyond excited to be backing the world class team of
@danielmarinq
@JensGroth16
@alexanderfowler
to bring internet scale to verifiable computation
The future of general-purpose verifiable computation is truly an inspiring one, and proud to be part of the
@NexusLabsHQ
journey🫡
0
2
13
2
4
21
Talking about zkVMs and Taylor Swift at SBC w/
@nexodonb
&
@NexusLabsHQ
Thanks
@StanfordCrypto
@theBBFund
3
2
21
If you are in SF show up to the Nexus offices tomorrow evening for drinks and great city views
We'll have an amazing Bay Area crowd
Hey San Francisco community, you're invited to a Happy Hour *happening tomorrow* in our Salesforce Tower office to meet the Nexus team and talk all things zero knowledge. Hope to see you there.
RSVP:
0
1
18
3
4
18
Nexus team heading to NYC 🫡
1/ We’re super excited to be supporting the
@StanfordCrypto
event at SBC – August 6 in NYC.
Plus,
@danielmarinq
and
@nexodonb
from our team are part of a really great lineup of speakers.
2
8
32
0
1
18
Excited to announce what our team has been building these last few months! We have a few more surprises coming next
1
3
16
SF is so back
Big thanks to everyone who attended our Happy Hour yesterday – it was a great San Francisco evening. 🍻
2
4
21
1
2
17
Shipped with the Nexus 2.0 SDK:
- Dynamic compilation
- Private I/O
- Logging support
- Async proof generation
Much more coming soon
1/ A key component of the Nexus 2.0 zkVM is a new SDK, a programmatic framework for computing multiple zkVM proofs at scale.
3
5
25
0
5
16
Excited to see many friends tomorrow at Stanford BASS
DMs open if you want to discuss partnership opportunities w/ the
@NexusLabsHQ
team
We'll be exploring the next 10 years of Ethereum scaling
📢 Happening tomorrow at 11:10 EST:
@danielmarinq
and
@nexodonb
are speaking at the
@StanfordCrypto
event at SBC.
Topic: "The Nexus zkVM: Democratizing Ethereum’s Execution Layer"
2
4
17
0
4
15
@zkproofs
@srinathtv
@NexusLabsHQ
@JensGroth16
@nexodonb
@michelabdalla
This is great -- lines up very well with our work where we discuss tradeoffs in breaking incrementality.
We've been struggling to recover incrementality while improving performance as it's quite important for the design of the Nexus system
1
1
12
The sentiment at SBC was very positive about the future of the industry
There is so much to build & experiment with
New zkVM execution paradigms
Here's our CEO
@danielmarinq
presenting on "The Nexus zkVM: Democratizing Ethereum’s Execution Layer" at the
@StanfordCrypto
SBC event earlier this month – lots of interesting thoughts about the future of our industry:
0
4
14
0
2
11
Thanks
@veradittakit
and
@PanteraCapital
for the excellent blog post on
@NexusLabsHQ
Series A
Hinting already at much more to come
1/ We
@panteracapital
excitedly co-led the Series A investment in
@NexusLabsHQ
, a breakthrough in ZK cryptography, earlier this year.
Let’s learn about how Nexus is revolutionizing verifiable computation. 🔍🧵
1
4
50
1
1
11
It's a pleasure to partner with
@ravi_lsvp
and the rest of the
@lightspeedvp
team.
@lightspeedvp
is well known in the valley for making bold bets in deep tech and fundamental compute infrastructure
Verifiable computation couldn't be a better fit
Congratulations to
@NexusLabsHQ
on announcing their $25M Series A round, co-led by
@lightspeedvp
and
@PanteraCapital
with participation from Lightspeed’s joint venture,
@FactionVC
. Nexus is pioneering zero-knowledge proofs to advance critical digital infrastructure, optimizing
0
11
28
0
1
11
Very excited to work with the
@FactionVC
team!
With much on-the ground experience, we’re excited to work with
@tim_khoury
,
@BFATHIEH
and
@0xSamHarrison
to bring this future to life
We are excited to back
@NexusLabsHQ
in their Series A alongside
@lightspeedvp
&
@PanteraCapital
. Nexus enables the next generation of verifiable computing, powered by zero knowledge proofs
1
9
38
2
1
10
Caldera building insane infra for the million rollup future
I've been a customer myself
0
1
9
Some of the most important advancements in science come from new decievably simple concepts.
In the case of ZK, it is proof aggregation.
1/ What is folding?
@JensGroth16
explains how the Nexus zkVM uses folding to create compact proofs.
2
2
15
0
0
9
Incredible work, from an incredible team. I know no one as dedicated and skilled to bring these ambitious goals to life as
@griffintier
The million appchain future is close, and we need companies like
@HallidayHQ
to make wallet UX feel like a breeze
🚀 Introducing the world's first APPCHAIN WALLET 🌐
The future of the EVM is in a million Appchains—yet asking non-crypto natives to switch networks, bridge, and swap tokens can be a huge barrier to entry and will prevent growth.
Change is here 🧵⤵️
26
30
118
1
0
7
The integration presents a nice pipeline and composition of primitives:
Sumcheck -> GKR -> Expander -> The Nexus zkVM.
Check our blog post for a bit more technical depth:
0
1
9
The GKR prover is powered by the sumcheck protocol, and operates over layered arithmetic circuits.
It was invented by the legendary Shafi Goldwasser in collaboration with Kalai and Rothblum, and later improved by
@SuccinctJT
, Xie, Zhang and others
1
2
9
The Halliday Network, a big move for
@HallidayHQ
in powering app-chain commerce in the rollup-centric scaling roadmap
Projects like this are much needed to expand the real-world capabilities of individual app-chains. Congrats
@griffintier
and team
Introducing the Halliday Commerce Automation Network—bringing commerce to modular chains.
Save thousands of engineering hours and increase your volume by empowering users to spend, manage, and transact with ease.
Blockchain commerce is incomplete.
One-click payments - as we
24
39
136
2
0
9
Bullish on all these teams
1/ We're now T-2 days out from BASS SBC in NYC!! 🌲🚀
As the event approaches we wanted to highlight a few more of our speakers and sponsors.
Today we are excited to highlight our MEV, RWA, and DeFi BASS speakers
1
4
16
1
1
8
@DCbuild3r
Just WebGPU + Wasm a memory efficient prover that is recursion-enabled, like Nova, and consumes < 4 GB of RAM
Trade off is large client side proofs :(
1
0
8
Reducing settlement costs for zkVMs through a middleware agg / composition layer is definitely in the path the whole community needs to reach the Proof Singularity
Very excited about this project
But co-processors are still a) expensive to prove offchain and b) expensive to settle on L1 frequently.
At
@0xHungryCats
, we're building a co-processor settlement stack, which reduces both offchain and onchain costs for compute-rich co-processors, and makes zkVMs practical.
0
0
0
3
0
8
It's a pleasure to work with
@veradittakit
and
@PanteraCapital
, a team consistently making bold bets in critical infrastructure
Super excited about investing into
@NexusLabsHQ
, will share more on the thesis soon but the team is killer and they are building the infra for ZKPs
0
3
21
1
0
8
It is awesome for revm to get audited and fuzzed
This will certainly push the Rust / Ethereum community forward many steps
Yet another example of how community-driven audits can benefit the whole ecosystem
Revm got officially audited/fuzzed!
A community-driven audit, supported by six projects, was done by a top Ethereum bug hunter.
10
18
168
1
0
8
Wow! Excited to be featured with .xyz domains
@xyz
I remember I couldn’t think of a better TLD for Nexus than .xyz, and now is directly featured
🚀 Tech startup explores the future of computing with a mission to create a new verifiable Internet.
Learn more about this
@squarespace
customer by following
@NexusLabsHQ
.
#digitalinnovation
#blockchain
#cryptography
0
3
14
1
0
8
A pleasure to work together
@swillinger
It’s hard to find investors of the same caliber as
@theBBFund
To
@theBBFund
it was a no brianer to go all in on
@NexusLabsHQ
@danielmarinq
has been an inspirational founder since we worked with him in the Stanford Blockchain Accelerator. Since then his obvious potential has manifested
1
1
4
0
1
7
Huge shoutout to the
@NexusLabsHQ
team who is working night and day to improve the protocol, zkVM and Network software -- solving insane problems at the frontier
Wished I could share all the things that are coming soon -- but that'll have to wait for another day
0
0
7
Devs can supply compute to Nexus through the CLI as well -- just copy and paste your Terminal
1
1
7
Truly exciting advancements from the
@NexusLabsHQ
team coming soon, cc:
@JensGroth16
Parallelizing the modular zkVM stack:
Decoupling memory-checking from CPU execution for IVC-based zkVMs
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
9
1
2
7
Agreed! Trace visualization will get much more detailed
Nexus 2.0 The point that excite me the most are when running a program, the nexus sdk can print out the risc-v assembly instructions
2
0
10
0
1
6
The endgame of Ethereum
High performance verifiable compute, to parallelize the threads of the world computer
1
0
6
2
0
6
@StanfordCrypto
, led by the stellar duo
@0xfishylosopher
and
@kolelee_
is truly doing amazing work this year
@NexusLabsHQ
has received tremendous support from the club, and we keep working closely to support it across SF and the Bay Area
1
0
5
0
0
5
Typestate pattern for revm!
Likely to be super helpful for practical EVM transaction emulation
Introducing trevm:
trevm is a loving extension of
@rakitadragan
's revm, designed to simplify high-level EVM flows
trevm aims to simplify gas-estimation, transaction simulation, and block and bundle construction for Ethereum and rollups
3
14
88
0
0
3
Thanks
@griffintier
! The build power of the
@HallidayHQ
team is insane. A bright future for the modular stack
There are few that can match the tenacity and shear brain power of
@danielmarinq
and the team he has put together.
Couldn't be more excited for this project. Soon enough, there will be immortal, provable computations. Congratulations!
0
0
11
0
0
4
Thanks Scott! Excited for
@SpaceandTimeDB
to bring verified data processing to life 🤝
Huge congrats to Nexus team on zkVM launch today, and also to
@RiscZero
on their zkVM launch yesterday! 🫡
It's a brave new world of fast, arbitrary verifiable compute... and our research team
@SpaceandTimeDB
is looking forward to integrating with the top zkVMs to bring them
2
1
25
0
0
4
Congrats to the amazing
@nocturne_xyz
team and
@luketchang
in particular!
Privacy is key for institutional adoption, and new primitives like these bring us closer to that future.
1/ For crypto to reach its next stage of growth, it must be used less for speculation and become more like money. We believe privacy is a necessary condition for this to occur.
@nocturne_xyz
we’re excited to introduce a new primitive to the Ethereum ecosystem—private accounts 🧵
119
244
1K
0
0
3
0
0
4
@chiefbuidl
@tim_khoury
@JensGroth16
@alexanderfowler
@NexusLabsHQ
Couldn’t be more bullish about Space & Time too! 🫡
1
0
4
0
0
4
@kostascrypto
Contrarian take: special purpose ZK is still exciting, and will get even more exciting, due to the context of zkVM precompiles and special-purpose ISA extensions
1
0
3
@benediktbuenz
@zkproofs
@srinathtv
@NexusLabsHQ
@JensGroth16
@nexodonb
@michelabdalla
Yes we've been studying the PoDT paper deeply... it's inspired quite a bit of our new v3 memory-checking architecture for the zkVM with logup, but without an accumulation-friendly version of GKR (for eng capacity reasons) but which would be super nice to implement
0
0
3
@m2magician
@SuccinctLabs
@NexusLabsHQ
@LurkLab
@RiscZero
@valida_xyz
Totally agreed. For the Nexus zkVM we “inject” the zero knowledge property by wrapping the Nova proof (not itself zero knowledge) with the Spartan zkSNARK as part of the compression step, making the proof actually zero knowledge
1
0
2
@JensGroth16
@lastmjs
@_BoroG
@drownwave
@dfinity
Oh just realizing I meant 10^6 not 10^9, so yup 1 MHz
1
0
3
Thanks Tim! Excited to be working together 🫡
Couldn’t be more excited for what
@danielmarinq
@JensGroth16
@alexanderfowler
and team are building at
@NexusLabsHQ
!
All important computations will be verified, not just in crypto but across the entire Internet.
The future of the Internet is verifiable, proved by Nexus!
1
2
14
0
0
3
Verifying proofs on Aligned allows for benefits beyond cheaper proof verification:
(1) Tight-knit development cycles
(3) Iteration with different provers
(2) Architectural ability to be proof-system agnostic
Virtually, Aligned serves as a proxy universal verifier
1
0
3
@DCbuild3r
@srinathtv
@recmo
That’s nice,
@nexodonb
& team are doing something similar with modified Spartan for committed relaxed R1CS + Groth16 so Nova proofs can go on-chain. Both on the server, however.
Running Spartan on the client should be a bit heavy tho, as it’s a full monolithic SNARK
1
0
3
@VitalikButerin
@danfinlay
Sometimes the simplest route is the best one, e.g., binary trees with SHA256.
MPTs and Verkle Trees are hard to implement and understand, and Poseidon, while ZK-friendly, leads to further engineering overhead for non-zk systems, developers and standards.
I think we can bet on
0
1
3
@srinathtv
@DCbuild3r
That’s a neat trick to get client-side zero-knowledge without full zkSNARK compression
We have yet to enable zero-knowledge for HyperNova:
1
0
3
1
0
3
@alex_xiong_
@SuccinctLabs
@NexusLabsHQ
@RiscZero
@a16zcrypto
For the Nexus 1.0 zkVM we deviate from the TinyRAM arch to a RISC-V inspired arch (NVM 1.0) mainly so that (1) instruction decoding is cheaper, and (2) Merkle-tree based memory-checking is cheaper in the context of 256-bit fields and IVC / recursion (see SuperNova paper)
0
0
3
1
0
3
Advancements on the security of the verification layer itself are also possible, from cryptoeconomic (AVSs) to optimistic execution, to full zk-proving the Aligned Layer itself
The
@alignedlayer
team has certainly a lot of room for experimentation, see:
0
0
3
Casually showcasing some Flashbots merch
Collaboration mode: ON
We're wrapping up the 2nd Nexus Summit – a busy and productive week of teamwork and progress on all fronts building something big together. Stay tuned...
1
2
18
0
0
3
@alinush407
@Aptos
This is awesome! 1.3M constraints is pretty good as well.
We’re trying to integrate a Circom -> R1CS -> CCS -> Nexus zkVM compiler. Perhaps we can include a Keyless precompile within a larger program by integrating these circuits
0
0
1
@m2magician
@valardragon
Not yet! But we’ve been looking into eliminating registers altogether from the CPU arch as it might be cheaper to consider all register accesses as memory accesses through a global permutation argument technique. Certainly this puts more stress on the compiler
0
0
1
@brandonhgomes
Table 1 at by
@_hermitsage_
@nibeshshr
@aniketpkate
and
@kartik1507
gives a great overview
0
0
2
@m2magician
@SuccinctLabs
@NexusLabsHQ
@LurkLab
@RiscZero
@valida_xyz
Yeah if I’m honest it’s just a side effect of proof compression. It’s like if the ZK property came “for free”
0
0
2
@SmartCryptology
@AnnaRRose
@OmerShlomovits
@EliBenSasson
@SuccinctJT
The same was said about AI.
High performance ZK is taking off at breathtaking speed
0
0
2
@GuilleAngeris
Using
@nextjs
and SWR from
@vercel
nowadays — fastest load times I’ve seen in the web in years with static rendering for React and caching already built in
0
0
2
@kobigurk
@fede_intern
@oskarth
@GeoffRamseyer
@srinathtv
a CycleFold-like compiler for folding schemes as mentioned in the paper seems that could be super helpful in devising implementable parallel versions of Nova / SuperNova / HyperNova
0
0
0
@valardragon
@m2magician
We’re actually doing this — doing a compiler pass from RISC-V to NVM to simplify instruction decoding, and specialized pecompile protocols (e.g., matrix multiplication) in conjunction with the precompile system
1
0
2
From an amazing Stanford team
Constellation is now Caldera.
Launch a rollup for your dApp in one-click.
Build the future with us:
14
29
185
0
0
2
2/ The Nexus <|> Polyhedra partnership centers around the celebrated GKR prover, built through
@PolyhedraZK
's Expander, and integrating it as a prover module into the Nexus zkVM
GKR offers massive benefits for hyperparallel large-scale verifiable computation -- which is exactly
1
0
2
Excited talk at Stanford among such an epic lineup of speakers.
We will talk about the latest in verifiable computing, cryptography, math and zero-knowledge proofs. Our team at
@NexusLabsHQ
has also prepared a surprise
3/ Speakers List 8/26 AM
09:10 -
@jaekwon
,
@cosmos
09:40 -
@danielmarinq
,
@NexusLabsHQ
10:00 -
@dahlia_malkhi
,
@chainlink
10:30 -
@bobby_beniers
,
@polychain
11:00 -
@EdFelten
,
@arbitrum
11:30 -
@nickwh8te
,
@CelestiaOrg
12:00 -
@0xkatz
,
@Calderaxyz
2
19
37
1
0
2
1
0
2
The folding-scheme story continues with amazing work from {
@abhiramko
,
@srinathtv
}. Now we can reason about IVC schemes and their proofs without thinking explicitly about 2-cycles of elliptic curves, also simplifying the path to implementation
0
0
2
0
0
2
1
0
2
0
0
1
@michelleqin_
@ravi_lsvp
@veradittakit
@lstephanian
@hosseeb
@JensGroth16
Incredibly nostalgic
@michelleqin_
-- since freshman year! 😅
0
0
1
@0xkydo
This seems to have two very different ideas.
1) A bridge may have client diversity to decrease the chance of having implementation bugs.
2) If there was a standard bridging API then clients would be able to cross-check messages.
(2) may be too gas-expensive in practice?
0
0
1
@xmandirigma
@NexusLabsHQ
Looks like you're missing a dependency to unzip the file -- let us look into it
2
0
1