NovaNet @NovaNet_zkp Twitter profile

Pinned Tweet

NovaNet

2 months

We're thrilled to announce $3m in funding to build the world's first incentive layer for zero knowledge proofs that run everywhere. NovaNet enables local verifiable computation and privacy-preserving applications at scale.

29

86

219

Last Seen Profiles

@rkmasiello

@win_xd11

@itaintaaron

@Helen__A87

@stw_pdg

@zn_69l

@AsSa66986762

@staygittarius

@ogt_illust

@Queequeetassell

@Isabella8607

@JessicaRob79287

@ColourImpaired

@stw_pdg

@Albina2322

@SeeDaviGo

@fhl5ii

@NrbCityStars

@Delaevgenija

@pjsadora

@folkxeverguy

@mna_11l

@yjxngwnk

@ackermanfamily_

@AgmySafaa

@seafight3

@ChunMu34118

@ramabhakta32

@TrevorPoplawski

@CaMittelstead

@HomoHominum

@zJpqZTri6OW7S

@viapsh7802

@_MayumiYumi

@Emily_Alsentzer

@girishsharma016

NovaNet

@NovaNet_zkp

6 months

Introducing NovaNet: NovaNet is a decentralized, peer-to-peer zero knowledge proof network that acts as an incentive and coordination layer for scaling, privacy, and verifiable compute — everywhere. ZKPs should not just be about scaling ETH. 1/8

3

11

36

NovaNet

@NovaNet_zkp

1 year

What is NovaNet?

Introducing NovaNet: a zkVM that uses Lasso for speed and Nova for space efficiency.

At ICME, we've been diligently developing a zkVM. Our target platform is WASM due to its portability and extensive language support. Our VM is designed to operate efficiently on constrained devices,...

blog.icme.io

4

23

NovaNet

@NovaNet_zkp

5 months

Benchmarking peer-to-peer proving of BLS with pre-compiles. As far as we know.. sub 8s is a world record. zkBLS next? 🥁 Give NovaNet a WASM file and it will optimize itself, to give you a proof fast. #unshackled_zk

2

3

22

NovaNet

@NovaNet_zkp

6 months

Zero-knowledge used to be about just that. Privacy. #reclaim_zk

1

6

17

NovaNet

@NovaNet_zkp

2 months

Aug 5th is NovaNet week ending in release of our OS zkVM! We're cohosting, speaking, or attending: Aug. 6: DePIN Day: 8: Sci. of Blockchain Conf.: 9: DePIN Summit: 9-11: ZK Hack

3

7

16

NovaNet

@NovaNet_zkp

1 year

Our favourite slide 😂 !

Srinath Setty

@srinathtv

1 year

Had a great time giving a talk on HyperNova! At #sbc2023 . Slides are here:

3

22

119

3

2

14

NovaNet

@NovaNet_zkp

4 months

We're excited to bring zero knowledge proofs to #NYTechWeek ! Join us on June 4th at — co-hosted with @EntEthAlliance and @Microsoft . Register here:

0

3

8

NovaNet

@NovaNet_zkp

28 days

Great to be featured in this year's DePIN Summit guide. ZKPs for privacy and verification on DePIN devices is what we've built! #DePINSummit

0

2

12

NovaNet

@NovaNet_zkp

8 days

Cryptoeconomic security preserves the integrity of decentralized systems, including for DePINs. That is why we're thrilled to be partnering with @parasailnetwork to bring ZKP verification to DePIN staking. See below for more details.

Parasail

@parasailnetwork

8 days

We're excited to partner with NovaNet to advance service level staking in the DePIN space! This collaboration merges @NovaNet_zkp ’s cutting-edge ZKP technology with @ParasailNetwork ’s DePIN staking layer, creating more transparency and efficiency among decentralized

4

20

49

5

8

17

NovaNet

@NovaNet_zkp

29 days

ZK Hack is underway in lovely Montreal! @wyatt_benno and the @NovaNet_zkp team are there with $5,000 in prizes to build on the memory-efficient and world’s first NIVC-based zkWasm!

NovaNet

@NovaNet_zkp

1 month

Heading to @__zkhack__ Montreal? Memory efficient zk is here! The world’s first NIVC based ZKWasm will be open sourced and at your disposal. Meet team member @wyatt_benno for inspiration (local zk Gradient Boosting Machines to Circle (USDC), more!

0

4

8

0

5

12

NovaNet

@NovaNet_zkp

2 months

Join us on August 6th in NYC with leading DePIN projects! Learn more about how @NovaNet_zkp ZKPs provide client-side, privacy-preserving verification for DePINs. Details and registration:

DePHY

@dephynetwork

2 months

Calling all New Yorkers! 🚨 We are so excited to bring you another DePIN Day on the 6th of August, happening at Solana's event space as a pre-opening event for The Science of Blockchain Conference 2024! Come join us, our co-host @okxweb3 , and tons of incredible DePIN builders

7

11

76

3

12

NovaNet

@NovaNet_zkp

1 month

Our unique vision for local, on-device ZKPs for DePIN is now featured in @CoinDesk - check it out!

CoinDesk

@CoinDesk

1 month

DePIN spoofs? Zero-knowledge proofs generated on DePIN devices are the best way to provide robust verification for service, performance, and location data, argue @NovaNet_zkp cofounders @wyatt_benno and @HoumanShadab . Opinion for the "DePIN Vertical."

12

26

173

3

4

12

NovaNet

@NovaNet_zkp

4 months

SigmaSuite, a new paper by NovaNet cofounder @wyatt_benno , explores proof composition and aggregation via folding for a final succinct verifier. NovaNet aggregation works well for proof composition use cases, i.e., bottom-left in the Jolt diagram below.

SigmaSuite: How to Minimize Foreign Arithmetic in ZKP Circuits While Keeping Succinct Final...

Foreign field arithmetic often creates significant additional overheads in zero-knowledge proof circuits. Previous work has offloaded foreign arithmetic from proof circuits by using effective and...

eprint.iacr.org

moodle zoup

@moodlezoup

4 months

⚡️Jolt Skill Tree🌳 This is how we're thinking about the Jolt roadmap. Milestones are mostly bifurcated into a Binius subtree and an elliptic curve subtree. There's too much stuff here for us to tackle ourselves, so reach out if you're interested in contributing!

5

12

81

0

3

11

NovaNet

@NovaNet_zkp

27 days

Super happy with this the diversity of hacker projects @__zkhack__ , and the for the hackers like @xHyukay and team, looking to use zk in cool and very big contexts!

Hyukay

@xHyukay

27 days

Super happy that we got first place prize from @NovaNet_zkp at @__zkhack__ Even though we lost the hacker’s choice prize by 2 votes 😔 Overall it was an amazing event!

1

4

10

0

5

10

NovaNet

@NovaNet_zkp

1 year

Consumers have a lot of underutilized GPU. With zero-knowledge proof backed verifiable computation the world can tap into them 🙌

Dan Romero

@dwr

1 year

crazy that AI finally popped off because Ethereum stopped using all the GPUs

42

56

808

1

3

10

NovaNet

@NovaNet_zkp

2 months

Blockchain account abstraction is a needed evolution. Read about how zero knowledge proofs can make account abstraction a reality.

3

10

NovaNet

@NovaNet_zkp

2 months

While many consider ZKP technology primarily as a means to scale Ethereum with zk-rollups (often at the exclusion of privacy), NovaNet offers a different paradigm.

1

2

8

NovaNet

@NovaNet_zkp

2 months

Learn how we're supercharging the global stablecoin market in our latest piece, "Improving Stablecoins with Zero Knowledge Proofs."

0

5

8

NovaNet

@NovaNet_zkp

4 months

Several practices can improve privacy for real world asset tokenization: 1. Make smart contract data private with ZKPs. 2. Verify private, off-chain compute on chain. 3. Integrate ZKPs into KYC'd, decentralized identity. Read more in our latest blog:

0

9

NovaNet

@NovaNet_zkp

6 months

Excited by game theory, cryptography, and zero-knowledge? Follow NovaNet as these fields meld.

0

1

9

NovaNet

@NovaNet_zkp

2 months

Our innovative approach empowers anyone, anywhere, to utilize ZKP for a wide range of applications beyond traditional zk-rollups, such as AI, DePIN, and gaming.

1

2

7

NovaNet

@NovaNet_zkp

3 months

We are happy to be open-sourcing our NIVC based zkVM for privacy and local verifiable compute on consumer devices :) Looking forward to seeing what people build with it in Montreal!

ZK Hack

@__zkhack__

3 months

And we’re very excited to welcome @NovaNet_zkp as a Based Sponsor! We can't wait to work together during ZK Hack Montréal, and for the team to host an Office Hour during the event on Saturday.

1

3

8

0

3

9

NovaNet

@NovaNet_zkp

26 days

Congrats to the zkAds team on their triple-win at @__zkhack__ Montreal for @NovaNet_zkp 's Best Privacy Project, Best Local Verifiable Compute Project, and Grand Prize! zkAds used @NovaNet_zkp 's zkVM to show how advertisers can target users without accessing personal data.

Hyukay

@xHyukay

27 days

Super happy that we got first place prize from @NovaNet_zkp at @__zkhack__ Even though we lost the hacker’s choice prize by 2 votes 😔 Overall it was an amazing event!

1

4

10

0

2

9

NovaNet

@NovaNet_zkp

2 months

NovaNet is not an L1 or a traditional L2. NovaNet verifiers operate multichain such as on Ethereum, Avalanche, Solana, the Internet Computer, or even web2 servers. This offers unmatched flexibility and accessibility — a true modular ZKP layer.

1

2

8

NovaNet

@NovaNet_zkp

4 months

@GroR_not_ShOr @dominic_w @dfinity @DFINITYDev @VitalikButerin The Internet Computer can play a role as a ZK verifier. Almost all proofs need to be wrapped in Groth16 to get onto ETH. A very heavy technical task.. But with the IC you can run the verifier as-is and use tESDSA to send confirmation to ETH at much lower cost.

0

6

9

NovaNet

@NovaNet_zkp

2 months

NovaNet operates on a cutting-edge zkVM based on the NIVC (non-uniform incremental verifiable computation) paradigm. This supports the a'la'carte selection of circuits for optimized memory and performance. With NIVC, you only pay for what you use!

1

2

8

NovaNet

@NovaNet_zkp

2 months

NIVC allows developers to choose the step size: small circuit step sizes when applications need to run on constrained local devices such as phones or browsers, and large step sizes when speed is priority. Novel or specialized proving schemes can join NovaNet and earn a premium.

1

2

8

NovaNet

@NovaNet_zkp

1 year

Hey: did you know most zkVM do not support floating point? With the mighty Lasso lookup scheme we can better support opcodes for FP. If you are a zkML project, we would love to chat/collab open-source. DMs open :) Why are floating points important?

A review of floating point numbers in Zero-knowledge proof systems.

Floating-point numbers play a vital role in various fields, including artificial intelligence and scientific research, as they enable the accurate representation and manipulation of real numbers....

blog.icme.io

0

2

8

NovaNet

@NovaNet_zkp

2 months

Memory-efficient proving enables proving on your device. Local proving is the only way to support applications that need privacy-preserving and local verifiable computation. Even consumer devices can directly join the network and create their own proofs peer-to-peer.

1

2

7

NovaNet

@NovaNet_zkp

2 months

Read more about our seed round and what we're building here:

NovaNet Secures $3 Million Seed Funding To Build the Zero Knowledge Proof Incentive Layer —...

NovaNet, the first incentive layer for zero knowledge proofs (ZKPs), has raised a $3 million seed round led by Finality Capital Partners. This milestone supports NovaNet's mission to create ZKPs that...

www.novanet.xyz

1

2

9

NovaNet

@NovaNet_zkp

2 months

Join us at 11am EST for an X Space on “Data Ownership & DePIN: Taking Back Control”.

Farmsent

@Farmsent_io

2 months

Get ready to take back control of your data!✨ We’re just a few hours from our X Spaces on “Data Ownership & DePIN: Taking Back Control”. Our Special Guests, @zk_agi and @AtenKrotos , and our panel of Speakers, @SkyTradeNetwork , @dehub_official , @GainFi_Official ,

5

18

41

0

2

6

NovaNet

@NovaNet_zkp

6 months

NovaNet runs fast on consumer and other constrained devices thanks to advanced folding schemes, lookup tables, and WASM execution. These ZKP design innovations streamline data processing and verification, and maximize memory efficiency. 2/8

1

0

7

NovaNet

@NovaNet_zkp

5 months

For speed: Jolt with Binius will likely be the near term winner. For portability, folding scheme such as Nova will dominate near term. Can we bring both together in an incentive network? Which we answer in the affirmative at NovaNet :)

0

3

8

NovaNet

@NovaNet_zkp

6 months

We are hiring.

0

8

NovaNet

@NovaNet_zkp

1 month

Heading to @__zkhack__ Montreal? Memory efficient zk is here! The world’s first NIVC based ZKWasm will be open sourced and at your disposal. Meet team member @wyatt_benno for inspiration (local zk Gradient Boosting Machines to Circle (USDC), more!

ZK Hack Montréal | Devfolio

On Aug 9-11, we host ZK Hack Montréal, our fourth IRL zk-hackathon. At ZK Hack Montréal, we will be hacking on zk-tools, using zk-DSLs, and building new products that showcase what zk can do. Hackers...

zk-hack-montreal.devfolio.co

0

4

8

NovaNet

@NovaNet_zkp

5 months

The narrative around this whole #ZKP thing is so much fun :) Speed is important. But so is privacy. These roads meet at NovaNet :)

1

5

7

NovaNet

@NovaNet_zkp

16 days

We are excited to collaborate to bring verifiable compute with ZKPs to frictionless USDC transactions!

Circle Developer

@BuildOnCircle

17 days

$USDC's smart contract functionality is the ideal payment rail for autonomous AI agents, enabling global near instant settlement for complex transactions. Learn how USDC enables @NovaNet_zkp to connect off-chain proofs to on-chain payments

0

8

27

0

1

7

NovaNet

@NovaNet_zkp

2 months

We are grateful to be working with leading investors and builders in the space! Our round is led by @FinalityCap with participation from @Arrington_Cap , the @AvalancheFDN , @BuilderCapital , @CaballerosCap , @RealWhaleEpic , @notscottmoore , @jdkanani , @b_tanyeri , and Steven Han.

1

2

6

NovaNet

@NovaNet_zkp

5 months

Advanced economies have many specialists. Advanced Web3 has modularity.

Modular ZKPs: Bringing the Benefits of Modularity to Zero Knowledge Proofs | NovaNet

The benefits of modular blockchains also apply to NovaNet's modular zero knowledge proof layer.

www.novanet.xyz

1

3

6

NovaNet

@NovaNet_zkp

5 months

An often unappreciated fact about folding scheme: they are already fast and they have great potential to become even faster! Quote from Thaler highlighting this:

0

2

7

NovaNet

@NovaNet_zkp

1 month

GPU spoofing is a problem we're tackling at NovaNet. Read more about it here: #DePIN

1

6

NovaNet

@NovaNet_zkp

10 months

We want to introduce you to the concept of “JOLT on rails”. Just one lookup argument (JOLT) is a paper from @SuccinctJT et, al, reimagining a ZKVM as a lookup into a giant table. It is currently being built out by @moodlezoup and @samrags_ 👏

1

2

5

NovaNet

@NovaNet_zkp

3 months

@levs57 @chokermaxx We know the execution trace upfront (this is how estimates are derived) we shard & each completes its own portion as a shard (NIVC). Aggregation layer checks the shards. The cool thing about this approach is that some opcode shards can go to special provers (floating point, etc).

0

3

NovaNet

@NovaNet_zkp

3 months

That's a wrap on the first annual ! Thank you to all the speakers, attendees, and co-hosts @Microsoft and @EntEthAlliance ! @yorkerhodes @houmanshadab @kai_geffen @KristyLam19 @CarpeDegen @JasonRozovsky @jnthnvctr @calummoore #NYTechWeek #ZKPNYC

1

6

NovaNet

@NovaNet_zkp

1 month

Prizes are up for zkHack Montreal! This is the first zkHack in North America, and the first time people will have their hands on a zkVM that prioritizes memory efficiency. Win some prizes for your local verifiable compute and privacy use-case 😀🏆

ZK Hack Montréal | Devfolio

On Aug 9-11, we host ZK Hack Montréal, our fourth IRL zk-hackathon. At ZK Hack Montréal, we will be hacking on zk-tools, using zk-DSLs, and building new products that showcase what zk can do. Hackers...

zk-hack-montreal.devfolio.co

0

4

6

NovaNet

@NovaNet_zkp

6 months

With the release of NovaNet, ZKP tech is no longer just about scaling ETH in various zlL2s, or even just about ever faster proving schemes — it is about the portability & incentive structure that allows ZKP to run everywhere. Input any WASM & get a proof fast. 8/8 + 1 more 👇

1

6

NovaNet

@NovaNet_zkp

9 months

Do you know what is really cool? Getting paid for proof generation while playing your favourite game. Lots of capable hardware out there for small/medium sized proofs. Verifiable computation will be ubiquitous with our decentralized proving network. Memory efficiency matters 🪐🔭

0

2

6

NovaNet

@NovaNet_zkp

1 year

Plug and play ZK-opcodes. Imagine if you want a proving system that works well for ML or DeFi, you don’t want to recreate the wheel, just add it as an opcode and use everything else as-is. With NovaNet this type of opcode creation is SUPER simple. Why?

1

2

5

NovaNet

@NovaNet_zkp

1 year

We have a name!

Wyatt Benno

@wyatt_benno

1 year

Why is Plonky2 fast? "it uses large proofs when speed matters and small proofs when size matters." Why is our 'NovaNet' zkVM so fast and portable? We use Lasso when speed matters and Nova when space efficiency matters. Auto-tuned to match devices, w/ MSM-only optimisations :)

2

5

13

0

5

NovaNet

@NovaNet_zkp

7 months

Give NovaNet a WASM executable (with potentially private input). Get the output with a proof of correct execution.

1

5

NovaNet

@NovaNet_zkp

6 months

Read more about NovaNet’s peer-to-peer, decentralized ZKP network:

0

5

NovaNet

@NovaNet_zkp

1 year

We see our work as 'parallel' to Jolt.. but with Nova used as a backend / & in places of R1CS portions. How space efficient can we make it? Consumer hardware is obviously the goal 😊 We then allow the user to toggle for speed and memory size to match their hardware specs.

Zero Knowledge Podcast

@zeroknowledgefm

1 year

Just published the latest ZK Study Club - @SuccinctJT hosts a session on Lasso and Jolt, moderated by @apruden08 and with awesome questions from @feministPLT , @rel_zeta_tech , @arantxazapico & more Subscribe on youtube for more study club videos!

0

11

62

0

4

NovaNet

@NovaNet_zkp

3 months

Verifying compute on chain while preserving privacy serves the needs of enterprise. That's why we're excited to join @EntEthAlliance to develop the use of Ethereum as a privacy-preserving verification layer. Learn more about our peer-to-peer ZKP network:

0

1

5

NovaNet

@NovaNet_zkp

1 month

In honor of DePIN Day we are sharing resources on ZKP for DePIN - including our dev docs to get building! Verification Handbook: @CoinDesk : Blogs: & Docs:

DePHY

@dephynetwork

1 month

Goooood Morninggg New Yorkers! And Happy DePIN Day to those that celebrate 💪 3pm. Doors open. Be there!

5

3

18

0

3

5

NovaNet

@NovaNet_zkp

3 months

We look forward to seeing everyone June 4th at - agenda is now online! We'll have wide-ranging discussions on the future of web3 to the latest research and applications of ZKP. Co-hosted by @EntEthAlliance and @Microsoft . #ZKPNYC

0

1

5

NovaNet

@NovaNet_zkp

5 months

There have been some pretty silly assumptions in 'prover marketplace' design in the past. Let's discuss some of these 'false assumptions' 👇

2

5

NovaNet

@NovaNet_zkp

4 months

Zero knowledge proofs for gaming 🎮 Work well with memory efficient and privacy preserving proving 💻. Do you remember that one game triggered Vitalik to create Ethereum🤔...

What is ZK Gaming? #ZKPs #ZKDoom

Join Alex Kehaya, host of the Index Podcast, as he sits down with Wyatt Benno, Co-founder of NovaNet, to talk all things ZK Gaming. Ever wondered how to keep...

www.youtube.com

0

5

NovaNet

@NovaNet_zkp

18 days

We agree with @jerallaire ! Check out our latest, "USDC and AI Agents: The Future of Trustless Payments" @circle #USDC #AIAgents

Jeremy Allaire - jda.eth / jdallaire.sol

@jerallaire

1 month

USDC will almost certainly be the preferred currency of AI Agents. 😉

50

25

359

2

3

5

NovaNet

@NovaNet_zkp

6 months

NovaNet is operated by prover nodes that generate ZKPs. Anyone can be a prover by running a peer-to-peer node (even in browser). NovaNet therefore works as the first modular DePIN for ZKPs. Developers can leverage local execution (privacy) & optimal aggregation (speed). 3/8

1

0

5

NovaNet

@NovaNet_zkp

1 month

The zkEngine -- our soon-to-be open source zkVM -- is designed to foster healthy competition among different prover schemes. Read about it here:

0

2

5

NovaNet

@NovaNet_zkp

1 month

NovaNet enables private verification for DePIN. Join us and leading DePIN projects August 6th in NYC!

DePHY

@dephynetwork

1 month

🚨 We’re less than two weeks away from DePIN Day at SBC on August 6th! First we brought you DePIN Day in Dubai, then Austin and now we’re coming to NYC! Join us for a unique opportunity to connect with the leading innovators in DePIN, who are transforming the industry with

17

20

78

1

2

5

NovaNet

@NovaNet_zkp

4 months

We're bringing zero knowledge proofs to a16z's @Techweek_ on June 4th. Register now: See you there! #NYTechWeek #TechWeek

0

1

4

NovaNet

@NovaNet_zkp

5 months

This is only possible with highly portable and memory efficient prover schemes, which is our forte’. @VitalikButerin

vitalik.eth

@VitalikButerin

5 months

Privacy is normal. Railgun uses the privacy pools protocol ( ) which makes it much harder for bad actors to join the pool without compromising users' privacy.

3K

1K

6K

0

3

NovaNet

@NovaNet_zkp

5 months

Some proving scheme that zkVM are based on already have precompiles in some networks. These are often elliptic curve based.

Wyatt Benno

@wyatt_benno

5 months

What happens when one zkVM gets really good at proof composition and all other zkVM need to run their verifiers through it to get on-chain cheaply? JOLT (SP1, other) to @NovaNet_zkp to your favorite constrained L1? zkVM composition :)

0

2

10

0

4

NovaNet

@NovaNet_zkp

3 months

We're excited to release The DePIN Verification Handbook! DePINs face common verification challenges and NovaNet’s peer-to-peer ZKP network provides fast, low cost, and efficient provers to solve these challenges. The Handbook is available here:

0

1

4

NovaNet

@NovaNet_zkp

26 days

Join NovaNet cofounder @HoumanShadab tomorrow for a space on RWA and DePIN!

The Forge

@TheForgeDefi

26 days

🧠 RWA & DePIN Made Easy 🧠 Join us for two hours of jam packed content premiering expert builders in the space 🛠️ 👉 Powered by:🔥 @MPMLabs_xyz Moderators:🔥 @cryptomattk @Doc_Mukti Expert Speakers: 🔥 @kevinyunai - Co-Founder of @RWA_Inc_ 🔥

25

275

319

0

2

4

NovaNet

@NovaNet_zkp

3 months

Technical founder @wyatt_benno explains the nature and benefits of NovaNet's decentralized zero knowledge proof network at today's at part of #NYTechWeek . #ZKPNYC

0

1

3

NovaNet

@NovaNet_zkp

4 months

NovaNet’s zkWasm feeds proof about local execution of DeAI back into L1 ;) No need to expose biometrics or any sensitive info. Secure data source + secure LLM + private verifiable execution = Wow. Tune in to hear more from technical founder @wyatt_benno .

Houman Shadab

@HoumanShadab

4 months

On-chain AI requires on-chain data.

1

5

19

0

2

4

NovaNet

@NovaNet_zkp

6 months

Requesters demand proof completion. These can be zkGames which seek privacy, zkBLS which seeks parallelized optimization, a zkL2 with decentralized provers, or any other program that benefits from verifiable compute. Resulting proof data is sent to any endpoint you desire. 6/8

1

0

4

NovaNet

@NovaNet_zkp

4 months

Should your zkVM be fast or should they be portable? Why not both with folding scheme?

NovaNet

@NovaNet_zkp

5 months

Benchmarking peer-to-peer proving of BLS with pre-compiles. As far as we know.. sub 8s is a world record. zkBLS next? 🥁 Give NovaNet a WASM file and it will optimize itself, to give you a proof fast. #unshackled_zk

2

3

22

1

3

NovaNet

@NovaNet_zkp

1 month

Location spoofing via fake GPS, WiFi, and cell tower data can be a problem for DePINs and other decentralized networks. Read about how we're tackling this problem at @NovaNet_zkp with ZKPs.

0

2

3

NovaNet

@NovaNet_zkp

28 days

Build. Prove. Verify. Let's go @__zkhack__ !

ZK Hack

@__zkhack__

28 days

We had to switch venues because of the storm, but we’re now well settled at St-James Theatre 💪 Program for the day is Office Hours from our Top & Based Sponsors: 11:30-12:30 NovaNet 13:00-14:00 Gevulot 14:00-15:00 o1Labs 15:00-16:00 RISC Zero 16:00-17:00 Polygon

1

2

14

0

3

NovaNet

@NovaNet_zkp

6 months

Provers are paid in tokens for creating, aggregating, & verifying proofs. NovaNet achieves optimized proving in a cooperative and parallel setting. The NovaNet gossip protocol determines how to best generate proofs using game theoretic optimal algorithms. 5/8

1

0

2

NovaNet

@NovaNet_zkp

3 months

Need zkWASM? After trying various zkWASM and zkVM implementations @k3_labs arrived at NovaNet. We are happy to see that the cutting edge science used in NovaNet's NIVC based zkEngine, is the first to fill their needs of speed & portability. Join testnet

Join group chat on Telegram

t.me

K3 Labs

@k3_labs

3 months

We're thrilled to announce our collaboration with @NovaNet_zkp ! With this partnership, we'll harness the power of NovaNet's P2P proving network to enhance our decentralized compute verification and proof generation capabilities.

1

2

5

0

1

3

NovaNet

@NovaNet_zkp

6 months

NovaNet uses existing blockchains to incentivize provers and manage tokenomics. But NovaNet is not a new L1 or L2. It is a peer-to-peer incentive and coordination layer that strives for minimal lock-in; i.e. verifiers can be hosted on various L1s or in the cloud. 4/8

1

0

3

NovaNet

@NovaNet_zkp

5 months

Great to see research on more advanced scheme for prover marketplace. The naive approach of just adding 'more provers' and having them race is most definitely not optimal. Looking forward to extensions of this work outside of the rollup context :)

Fan Zhang

@0xFanZhang

5 months

Excited to share some early results on ZK Rollup prover market fee mechanisms. A prover market is where ZK provers sell proof capacity, and users pay to get transactions proven (potentially coordinated by sequencers). EIP-1559 is a nice TFM for L1, but it does not work here

2

10

90

0

2

3

NovaNet

@NovaNet_zkp

1 year

Locally run verified computation via zero-knowledge proofs.. will play a role 🤔

Preston Byrne

@prestonjbyrne

1 year

Crypto dudes should stop hosting these services and start releasing apps open source in which everything runs client side. That’s protected by the First Amendment. That’s how you release software without needing to nerf it with spyware.

23

40

208

0

1

3

NovaNet

@NovaNet_zkp

6 months

NovaNet is based on non-uniform incremental verifiable computation schemes such as SuperNova — this allows for optimal space efficiency. Custom opcodes are used for specialized provers (Lasso), hardware enhanced, or any other zkVM in the network. 7/8

1

0

3

NovaNet

@NovaNet_zkp

5 months

NovaNet makes it cheaper to post on-chain for many prover types by relentlessly optimizing via proof recursion. Provers are paid evenly for the amount of opcodes they compute. Users can choose to pay a % premium for specialized provers (who do compete for specialized tasks).

1

0

2

NovaNet

@NovaNet_zkp

1 month

ZKPs can't be spoofed. Thanks to @CoinDesk for the coverage!

CoinDesk

@CoinDesk

1 month

DePIN spoofs? Zero-knowledge proofs generated on DePIN devices are the best way to provide robust verification for service, performance, and location data, argue @NovaNet_zkp cofounders @wyatt_benno and @HoumanShadab . An opinion:

22

15

87

0

2

NovaNet

@NovaNet_zkp

4 months

With recent work, Nova style folding gets down to 1 O(F) sized msm per proving step. This is very fast! But it still can be made better with smaller fields and other optimizations. How do we get smaller fields if this is EC based? Ask @benediktbuenz

Accumulation without Homomorphism

Accumulation schemes are a simple yet powerful primitive that enable highly efficient constructions of incrementally verifiable computation (IVC). Unfortunately, all prior accumulation schemes rely...

eprint.iacr.org

1

0

2

NovaNet

@NovaNet_zkp

2 months

@solana @dephynetwork @teleportxyz We're excited to be participating at DePIN Day alongside innovative DePINs like @teleportxyz !

1

0

2

NovaNet

@NovaNet_zkp

4 months

@kobigurk Binary towers were further reduced to their qubit form. And @srinathtv released ‘Gamma Ray Burst’, a real time highly portable folding scheme based on a new homomorphic pcs without …

0

2

NovaNet

@NovaNet_zkp

5 months

We have noticed dozens of other false assumptions and are fixing them with NovaNet testnet! Stay tuned👂

0

2

NovaNet

@NovaNet_zkp

2 months

Wrong handle. Correction: @BuilderVC

0

2

NovaNet

@NovaNet_zkp

3 months

@kai_geffen @JoyDeserver @_lukenewman @jimpo_potamus Hey we are also doing one in NYC next week with co-host Microsoft. It will be a blend of RL use-case and tech panels. Want to come / do a 15 minute panel on an interesting subject?

ZKP.NYC NY #TechWeek · Luma

Zero knowledge proofs are key to the future of web3 and decentralization. Join us for a lively discussion about cutting-edge ZKP research and applications in…

lu.ma

1

0

2

NovaNet

@NovaNet_zkp

11 days

Ready for a tech deep dive? Learn about state of the art developments driving @NovaNet_zkp 's ZKPs. Highlights: ▶️ Lasso for speed and Nova for space efficiency ▶️ Recursive and non-recursive techniques ▶️ Revolutionizing proof composition with zkVMs

0

2

NovaNet

@NovaNet_zkp

3 months

ZK®™© is pronounced 'zed' if anyone wondered and it means zero-knowledge©™ as in no knowledge because it is privacy preserving :)

0

2

NovaNet

@NovaNet_zkp

4 months

Indeed using our zkEngine as the backend.. zkWASM is very fast. It is also highly portable and can work on a large array of devices. We can’t wait to open source it! But if you are impatient and want to see what it can do today, reach out!

Houman Shadab

@HoumanShadab

4 months

Done right zkWasm is really fast. See @NovaNet_zkp .

0

2

7

0

1

NovaNet

@NovaNet_zkp

4 months

Or @Charles_Chen533 / Dan Boneh on their work LatticeFold

LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems

Folding is a recent technique for building efficient recursive SNARKs. Several elegant folding protocols have been proposed, such as Nova, Supernova, Hypernova, Protostar, and others. However, all of...

eprint.iacr.org

1

0

1

NovaNet

@NovaNet_zkp

4 months

Non-uniform IVC is a method that allows for various circuits to run in one proving system. Created by @srinathtv called () What can be done with this? Specialized provers as circuits, precompiles, freedom to choose step-size to match users’ machines specs

SuperNova: Proving universal machine executions without universal circuits

This paper introduces SuperNova, a new recursive proof system for incrementally producing succinct proofs of correct execution of programs on a stateful machine with a particular instruction set...

eprint.iacr.org

1

0

1

NovaNet

@NovaNet_zkp

1 year

Interested in learning more about this growing collaborative effort? Sign up for or DM! If you are a CTO thinking “ZK is still too slow..” for your use-case, let us show you the new reality. 😉

ICME

Zero-knowledge proof that run everywhere. https://novanet.xyz/

blog.icme.io

0

1

NovaNet

@NovaNet_zkp

10 months

Can we junk these circuits for better memory efficiency? Yes we can - nothing is more space efficient than Nova! Can we toggle for more speed? Yes we can - Lasso is blazing fast for zkVM.

1

0

1

NovaNet

@NovaNet_zkp

3 months

@guywuolletjr Liquid neural nets are also really cool avenue for this.. circa friends at @kinic_app Then use a general purpose zk proving incentive layer like NovaNet and verifiable trading bots that live if they trade well.. or run out of gas if not.

0

1

NovaNet

@NovaNet_zkp

4 months

@100y_eth @HoumanShadab Nova with Lasso = NovaNet. We have various proof scheme verifiers as circuits which allows for specialized proving where needed but also memory efficient proving where needed.

0

1

NovaNet

@NovaNet_zkp

5 months

@dhruvbodani @a16zcrypto @NexusLabsHQ @RiscZero @SuccinctLabs @lita_xyz @the_matter_labs We are open sourcing as well soon. Fashionably late ;)

0

1

NovaNet

@NovaNet_zkp

17 days

ZK proofs made where you like and verified where you like. The global proof layer 👇

Wyatt Benno

@wyatt_benno

18 days

So what is the ZKP scheme that can work on the smallest devices? Browsers, phones or even embedded systems in solar panels? Find out in my recent post: 1/n

3

8

46

0

2

1

NovaNet

@NovaNet_zkp

5 months

Besides making a monopoly of the person with the best hardware, this destroys any chance of liveliness. You must wait for the prover to finish, and if it dies wait again. Moreover, giving your data to a centralized prover is pretty bad for privacy.

1

0

1

NovaNet

@NovaNet_zkp

1 year

@lastmjs Anything is possible … but.. the whole point is ease of use and access to the execution trace (thing to be proven). VMs are an idea target as they work in many places and many languages compile into them. Execution trace is easy to formalize and gain access to.

0

1