Axiom @axiom_xyz Twitter profile

Pinned Tweet

Axiom

4 months

We’re thrilled to announce Axiom V2 is now live on Ethereum mainnet! Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Learn more below 👇

85

220

721

Last Seen Profiles

@theMintywolf

@dariusbailem

@the_Bradster007

@yuzichucunqi

@Gamzebursacd

@samkurth20

@anfiancaillte

@niyaaeliseeee

@Shelos1Life

@rogerioskylab

@SLEUTHINGDREW

@AlexandriaNow

@danivrs_88

@KyiaCutie

@vvinababyy

@ZhidAdolfIsis

@lcscaa

@AnthonyLebbos

@yuzichucunqi

@eli_brunk

@Jk9899825034987

@corgiloverse

@PaulBlart28_

@hoophallu

@TRIXABBY

@Bobobaba_

@Burasto

@Holvi

@ptcgjamesc

@xiaomelonz

@ANNVYSHINSKY

@markguim

@AbdlNitro

@sundownerart

@giizhigokwe01

@iToim_mn

Axiom

@axiom_xyz

4 months

We're excited to announce we've raised $20 million led by @paradigm and @standardcrypto , with participation from @robotventures and @etherealvc We are building infrastructure to give smart contract developers access to more data on-chain.

99

190

900

Axiom

@axiom_xyz

1 year

We are announcing Axiom, the ZK coprocessor for Ethereum: Axiom provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it. Like GPUs do for CPUs, Axiom augments blockchain consensus with zero-knowledge proofs.

Introducing Axiom

Introducing Axiom, a ZK coprocessor for Ethereum which provides smart contracts trustless access to all on-chain data and arbitrary expressive compute over it.

blog.axiom.xyz

46

192

707

Axiom

@axiom_xyz

10 months

We're excited to announce the Axiom mainnet alpha release: Axiom is the first ZK coprocessor scaling data-rich applications on Ethereum. Try on mainnet today.

19

173

458

Axiom

@axiom_xyz

6 months

We're announcing the next evolution of Axiom, live on Goerli today: Axiom V2 allows smart contracts to trustlessly compute over the entire history of Ethereum, including transactions and receipts. Make your first query in minutes:

Introducing Axiom V2

Announcing the testnet release of Axiom V2.

blog.axiom.xyz

10

51

267

Axiom

@axiom_xyz

7 months

Today we are releasing , a browser-based REPL that allows developers to write ZK circuits in Javascript. halo2-repl packages circuit generation and proving in a really easy-to-use way: * abstracts away the hard details of using a ZK proving library:…

5

44

244

Axiom

@axiom_xyz

4 months

We're announcing the second cohort of the Axiom ZK Intensive. This is a 5 week program for smart contract developers interested in building ZK-enabled on-chain applications. Applications open today and close Feb 7. The program will start the week of Feb 20. To apply, see 👇

53

61

169

Axiom

@axiom_xyz

1 month

We're announcing that Axiom is coming to @base -- Axiom V2 is now live on Base Sepolia testnet, and a Base mainnet deploy will follow after a testing period. We've heard from developers about the low fees and growing ecosystem on Base and are excited to bring Axiom there.

13

33

167

Axiom

@axiom_xyz

3 months

The team at @standardcrypto built a VSCode extension for Axiom. Try it at: You can use it to manage circuits written in the Axiom SDK through compilation, proving, and query submission to Axiom. We were impressed by how much VSCode can do!

Axiom Crypto - Visual Studio Marketplace

Extension for Visual Studio Code - Support for projects built with Axiom.

marketplace.visualstudio.com

10

28

125

Axiom

@axiom_xyz

7 months

ZK coprocessors are a new class of blockchain infrastructure allowing developers to statelessly prove offchain computation over on-chain data. In our new post, we explain what they are, what they offer to developers, and considerations for building them:

What is a ZK Coprocessor?

ZK coprocessors are a new class of blockchain infrastructure that allows smart contract developers to statelessly prove offchain computation over existing on-chain data. One of the biggest bottlene...

blog.axiom.xyz

4

33

135

Axiom

@axiom_xyz

10 months

We are announcing the second iteration of the Axiom Open Source Program: This is an accelerated program to get you from ZK basics to building ZK circuit primitives _and applications_ in halo2 in 8 weeks. Apply by July 28 at:

5

24

131

Axiom

@axiom_xyz

3 months

Last call to apply to this iteration of our ZK Intensive program -- if you're a Solidity dev interested in building on-chain applications powered by ZK, apply by EOD today at:

Axiom

@axiom_xyz

4 months

We're announcing the second cohort of the Axiom ZK Intensive. This is a 5 week program for smart contract developers interested in building ZK-enabled on-chain applications. Applications open today and close Feb 7. The program will start the week of Feb 20. To apply, see 👇

53

61

169

10

11

100

Axiom

@axiom_xyz

8 months

We're hosting a joint event with @Scroll_ZKP in NYC at 5p on Tue Sep 19th for devs interested in the future of ZK dApps. If you’re an engineer interested in learning about using ZK in your smart contracts, we’d love to have you! Register here:

How ZK will change the future of dApps: Hosted by Axiom & Scroll · Luma

Axiom and Scroll are hosting a joint event at Axiom’s office in NYC. We will have speakers from Scroll, Axiom, and Espresso Systems giving talks about the…

lu.ma

3

18

89

Axiom

@axiom_xyz

1 year

Axiom's ZK circuits are built with a new framework on top of the halo2 proof system. Today, we are open-sourcing our circuits (MIT license): Let's dive into the contents, which will be a tour of elliptic curve cryptography and Ethereum data structures...

1

17

93

Axiom

@axiom_xyz

1 year

After open-sourcing our ZK circuits, we are announcing the Axiom Open-Source Program: We are offering mentorship on ZK circuit development in a 12-week, part-time remote program to build a ZK circuit primitive. Apply by Feb 28 at

1

14

84

Axiom

@axiom_xyz

3 months

Check out @theyisun walking through our contracts which let you compute over the history of Ethereum on-chain! If you’re interested in building these types of on-chain systems with us, we are hiring across smart contracts and ZK — DM to learn more!

The Bytecode

@the_bytecode

3 months

Episode #23 is out now! @theyisun walks us through the @axiom_xyz contracts Axiom gives you the ability to compute over the entire history of Ethereum.

6

3

14

3

4

64

Axiom

@axiom_xyz

6 months

Axiom is heading to Istanbul for DevConnect 💥 The team is hosting a workshop on cryptographic identity + participating in many ZK-focused events throughout the week. Here’s what’s happening 👇

5

3

70

Axiom

@axiom_xyz

9 months

We excited to announce the Axiom ZK Intensive Program! This is a 4 week program for smart contract developers with an interest in ZK. Applications open today, and the program will start the week of October 9. Apply here by Sep 18:

4

9

67

Axiom

@axiom_xyz

25 days

We're excited to work with @worldcoin to make ZK-verified human identity more meaningful on-chain! ⚪️

Worldcoin

@worldcoin

25 days

Introducing World Chain, a new blockchain designed for humans ⚪️

670

869

6K

4

7

72

Axiom

@axiom_xyz

10 months

Axiom Open Source Project Spotlight! @lyronctk and @punwaiw wrote ZK circuits for multi-opens for KZG commitments on BN254. Their work was inspired by reading proto-danksharding blobs in ZK. These are coming in EIP-4844 (over BLS12-381) to reduce data availability costs.

2

6

63

Axiom

@axiom_xyz

1 year

7/ Our Uniswap TWAP demo was supported by a @UniswapFND grant, and our RanDAO demo was inspired by the recent work of the @paradigm Engineering team on on-chain randomness from ZK blockhash oracles .

Generating secure randomness on Ethereum using SNARKs

In this post, we propose designs and reference implementations that utilize SNARKs and VDFs to achieve fully secure randomness on Ethereum.

www.paradigm.xyz

1

7

61

Axiom

@axiom_xyz

1 year

Today we are releasing a new demo of checkpoint-free Uniswap v3 TWAP oracles via Axiom: This enables users to prove the TWAP price for the ETH-USDC Uniswap v3 0.3% or 0.05% pools between **any** two historic blocks.

6

10

58

Axiom

@axiom_xyz

4 months

10/ We have some exciting things in the works for on-chain developers in the coming weeks and months. In the meantime, check out: * our jobs page: * our V2 mainnet announcement: * our funding announcement:

Announcing Axiom's $20 Million Series A Round

We’ve raised $20 million, led by Paradigm and Standard Crypto, to give smart contract developers access to more data on-chain.

blog.axiom.xyz

5

51

Axiom

@axiom_xyz

1 year

We are blown away by your response to our announcement and are working hard to keep our demo up. Some of you may have noticed your accounts are "very special" and unsupported by our Account Age demo. We've deployed a new Account Age contract to fix this. Thread:

3

5

51

Axiom

@axiom_xyz

1 year

6/ To illustrate Axiom, we are launching 4 demo apps . These allow users to: * Prove their account age * Prove Uniswap v2 TWAP prices between two historic blocks * Access Consensus Layer randomness * Access arbitrary slots in historic account storage

1

2

49

Axiom

@axiom_xyz

10 months

We recently concluded the first Axiom Open Source Program with 12 participants who went from little to no background in ZK to implementing ZK primitives in 12 weeks. We are highlighting the work of a few participants over the next couple of weeks, starting with Wentao ( @DCMMCC )

1

4

48

Axiom

@axiom_xyz

4 months

9/ We are at an inflection point in taking ZK from research to production, and with this funding we are growing our team to make it a reality. If you share our belief in a world of data-rich on-chain apps powered by ZK, we are hiring across all roles:

Axiom Jobs

jobs.ashbyhq.com

3

1

40

Axiom

@axiom_xyz

11 months

👀👀👀

6

2

42

Axiom

@axiom_xyz

8 months

MEVictim Rebate used Axiom to prove that a user lost money in a sandwich attack and give access to a special @Uniswap pool! Really cool to see the team implement a non-trivial sandwich criterion end-to-end in ZK with no prior experience and get everything working in their app.

mary

@howdymerry

8 months

this weekend, @0xnavage @hua_annie oscar and I built token-gated privileges for certified victims of MEV attacks (and won @ETHGlobal nyc!)

1

5

68

2

6

43

Axiom

@axiom_xyz

1 year

2/ We are building Axiom to bridge this gap. Smart contract developers query Axiom for functions of historic on-chain data like they currently use oracles. Axiom answers queries trustlessly on-chain, allowing developers to enhance their apps with ZK without writing ZK circuits.

1

0

41

Axiom

@axiom_xyz

1 year

11/ Building Axiom required writing RLP encoding, Merkle-Patricia trie inclusion, and non-native elliptic curve arithmetic in ZK. We benefited from collaborations with members of the @PrivacyScaling and @Scroll_ZKP teams and were inspired by early prototypes supported by @0xPARC .

1

0

38

Axiom

@axiom_xyz

10 months

Axiom Open Source Project Spotlight! Ayush @0xa9a implemented ZK circuits for verifying ed25519 signatures, which are an instantiation of the EdDSA signature scheme commonly used as SSH signatures.

1

5

34

Axiom

@axiom_xyz

1 year

Axiom gives smart contracts trustless access to historical on-chain data not accessible in the EVM. Today we break down how this works: This will require us to understand the structure of raw Ethereum data structures and how to process them in ZK...

How Axiom Works

Explaining how Axiom caches historic block hashes and verifies queries against this cache to provide smart contracts with trustless access to on-chain data.

blog.axiom.xyz

1

6

35

Axiom

@axiom_xyz

1 year

9/ Some early use cases for Axiom we envision include: * Trustlessly paying protocol participants for on-chain behavior * Updating DeFi parameters based on historic data * Trustlessly enforcing off-chain governance votes * Making oracle queries for on-chain data trustless

1

34

Axiom

@axiom_xyz

1 year

1/ The trustless computation provided by zero-knowledge proofs is one of the most powerful ways to enable richer user experiences for blockchain applications. However, ZK remains forbidding for developers to implement and use, meaning its promise has yet to be realized at scale.

1

35

Axiom

@axiom_xyz

2 years

We are speaking several times at DevCon, come listen! * 10/10: Optimizing and Securing ZK Circuits for Elliptic Curve Operations — ZK House * 10/13: ZK Circuits for Elliptic Curve Operations in Halo2 — Applied ZK Workshop

Applied ZK Workshop

Devcon, October 11-14: Showcasing Applied ZK Projects.

zkworkshop.info

3

8

35

Axiom

@axiom_xyz

1 year

12/ In that spirit, we are open-sourcing our circuits for these primitives (and many others like ECDSA, MSM, and elliptic curve pairing) at . We'll have more to share here soon -- for now, check out our code and contribute. We are open to PRs!

Axiom

Axiom has 55 repositories available. Follow their code on GitHub.

github.com

1

32

Axiom

@axiom_xyz

1 year

We got a bunch of creative submissions for our puzzle. Feel free to post your solution and approach in this thread!

Enrico Bottazzi | enrico.eth

@backaes

1 year

Who tried to solve @axiom_xyz 's Variable Length Subarray Puzzle? I guess since the challenge is over we can start sharing our solutions. I'm not particularly proud of my result but I am curious to see others' solutions 👀 I got to 3.1M constraints

9

1

11

9

4

32

Axiom

@axiom_xyz

1 year

3/ Axiom works in three steps: Read, Compute, and Verify Read: Axiom uses ZK to trustlessly read block headers, states, transactions, and receipts from any Ethereum block. This gives smart contracts access to all archive node data, most of which is not accessible to the EVM.

2

0

32

Axiom

@axiom_xyz

5 months

Check out @theyisun explaining how Axiom can allow smart contracts to compute over the full history of Ethereum works on the @NEARProtocol Whiteboard Series! Try it for yourself at:

N̸̛̫Ẹ̴͇̰̆̿͗A̷̖̓̚̚R̴̒̈ͅ

@NEARProtocol

5 months

Ep 52 of Whiteboard Series: Director of NEAR, @BowenWang18 , joins @theyisun , cofounder of @axiom_xyz . Explore Axiom, an @ethereum ZK coprocessor leveraging zero-knowledge proofs for devs to compute on otherwise infeasible historical data. Dive in!

13

75

178

3

2

28

Axiom

@axiom_xyz

1 year

15/ Finally, if you've always wanted to access historic data or do complex compute on-chain, we'd love to supercharge your dapp with Axiom. And we're looking for great engineers to solve cutting-edge technical problems and bring the power of ZK to developers. Reach out by DM!

2

0

30

Axiom

@axiom_xyz

6 months

We are hosting a workshop tomorrow on cryptographic identity in Istanbul 🇹🇷 with speakers from @Clique2046 and @zkemail . If you’re a builder interested in identity, we’d love to have you at this developer-focused event. Spots are limited, register here:

Cryptographic Identity - Hosted by Axiom · Luma

Axiom is hosting an intimate afternoon gathering with talks centered around the theme Cryptographic Identity. If you're interested in learning about the latest…

lu.ma

2

6

32

Axiom

@axiom_xyz

1 year

4/ Compute: After ingesting data, Axiom applies verified compute to it. This includes operations like analytics (sum, count, max), cryptography (signature verification, key aggregation), and machine learning (decision trees, neural network inference) too big for blockchain VMs.

1

0

28

Axiom

@axiom_xyz

4 months

4/ The Axiom ZK Intensive will be conducted remotely via Zoom and is totally free! The program will start the week of Feb 20. Apply by Feb 7 here: Read more about the program here:

Announcing Cohort 2 of the Axiom ZK Intensive

Learn how to integrate ZK into your smart contract application.

blog.axiom.xyz

2

25

Axiom

@axiom_xyz

10 months

1/ Developers can query Axiom for block headers, accounts, or storage values from the entire history of Ethereum. To start using Axiom, check out our developer docs at and submit your first query on mainnet or Goerli today!

What is Axiom? | Axiom V2 Developer Docs

Introduction to Axiom

docs.axiom.xyz

3

2

28

Axiom

@axiom_xyz

1 year

8/ As these demos suggest, Axiom reads raw Ethereum data, meaning Axiom can be used to scale dapps without requiring them to move state to a rollup. In addition, compute on Axiom is not shared between dapps, meaning Axiom can support computations too large for any on-chain VM.

1

27

Axiom

@axiom_xyz

1 year

10/ The first version of Axiom gives self-serve access to historic data, and we are looking to collaborate with protocols or dapps to integrate ZK-powered custom compute. DM to brainstorm with us, or let us know at to meet at @EthereumDenver .

1

0

26

Axiom

@axiom_xyz

8 months

Excited to see history-based @Uniswap v4 hooks in the wild this weekend at @ETHGlobal ! Hooks and other defi primitives are much more expressive when they have access to more data, and at Axiom we’re empowering developers to explore this new design space.

saucepoint

@saucepoint

8 months

hookers running rampant in NYC this weekend 🫣 for ETHGlobal I teamed up with @andrew_forman to showcase trustless LP rebalancing using @axiom_xyz "allow anyone to modify your LP, as long as market conditions are met"

4

2

45

1

2

26

Axiom

@axiom_xyz

2 years

👀 …

5

4

27

Axiom

@axiom_xyz

1 year

Want to claim you are an OG on-chain? Better show the (ZK-based) receipts!

Jacob Lux

@Soul_of_Jacobeh

1 year

I just generated a ZeroKnowledge proof of my Ethereum account's age with only a couple clicks, using @axiom_xyz 's demo of Ethereum ZK Co-processing: Cool stuff. I'd post the Proof here but it obliterates Twitter's character limit

2

3

19

3

2

24

Axiom

@axiom_xyz

5 months

Check out our work on making @Uniswap TWAP oracles more flexible by computing over historic on-chain data with ZK. To incorporate these types of techniques into your on-chain app, make your first query at

Uniswap Foundation

@UniswapFND

5 months

🔍 Grants Spotlight: @axiom_xyz 's Checkpoint-free TWAP Oracles Today, we're highlighting an enhancement in oracle technology, supported by a grant from the Uniswap Foundation. Axiom has developed a novel way to access Uniswap v2 & v3 TWAP oracles. 🔗

4

2

14

2

1

25

Axiom

@axiom_xyz

1 year

5/ Verify: Every Axiom query result is accompanied with a ZK validity proof that the on-chain data inputs were read correctly and all computation was done correctly. The Axiom smart contract verifies the proof and makes the result trustlessly available for downstream apps.

1

0

25

Axiom

@axiom_xyz

10 months

Axiom Open Source Project Spotlight! @rkm0959 implemented the ZK circuits for verification of Poseidon2 hashes and AES-ECB encryption. Combining these two primitives, he was able to implement a proof of concept of a verifiable encryption scheme.

1

2

24

Axiom

@axiom_xyz

10 months

We've been reading applications for the Axiom Open-Source Program and are excited about your application ideas! If you'd like to learn how to build modern ZK circuits and applications -- reminder to read and apply at by July 28!

2

4

25

Axiom

@axiom_xyz

6 months

We will be at @EthGlobal Istanbul this weekend with $10,000 in prizes! Check out our workshop at 4:40p Friday at the ICC Access Transactions and Receipts On-chain We'll show you how to write ZK circuits in Javascript and leverage historic on-chain data in your hack!

3

4

26

Axiom

@axiom_xyz

5 months

Check out this implementation of SVD in-circuit by @goforashutosh @zhengxun_wu and Guillaume Remy — lots of tricks necessary to get this working!

Ashutosh Marwah

@goforashutosh

5 months

As part of the @axiom_xyz 's Open Source Program v2, Guillaume, Zhengxun and I developed Halo2-svd, a library which provides functionalities to verify the singular value decomposition (SVD) of a matrix and perform basic linear algebra operations in Halo2. (1/5)

2

26

0

22

Axiom

@axiom_xyz

10 months

5/ To illustrate integrating Axiom into your application, we created 4 demos: These allow users to: * Prove their account age * Prove historic Uniswap v3 TWAP prices * Access Consensus Layer randomness * Make arbitrary queries into Axiom

2

0

24

Axiom

@axiom_xyz

10 months

11/ The ZK circuits and smart contracts in the Axiom mainnet alpha are fully open-source with permissive licenses and were audited by @trailofbits and @zellic_io . Deployed repos: ZK circuits:

GitHub - axiom-crypto/axiom-eth

Contribute to axiom-crypto/axiom-eth development by creating an account on GitHub.

github.com

1

24

Axiom

@axiom_xyz

10 months

2/ Surprisingly, prior to Axiom there was no simple way for smart contracts to trustlessly access historic on-chain data. The EVM can only access the current state and not historic data, transactions, receipts, or consensus data, all of which are critical for on-chain apps.

1

2

24

Axiom

@axiom_xyz

7 months

The Axiom Open Source Program final showcase is this Thursday Oct 12th from 11am-1:30pm EST. Participants will present on a range of projects such as verifying x509 Certificates in ZK, recursively verifying Protostar, and a ZK VectorDB. Register here:

Axiom Open Source Program Cohort 2 Finale · Zoom · Luma

Over the past 9 weeks Axiom has been running the second cohort of the Open Source Program. In the cohort we have 23 participants working on 14 different…

lu.ma

0

4

23

Axiom

@axiom_xyz

1 year

1/ We'll be at ETH Denver next week! We are running a workshop on Fri 3/3, 2:00p to 5:00p for you to build an app with Axiom! Bring your ideas or brainstorm new ones with us. Register at , space limited! Also find us at our talks + panels, details below:

Axiom Open-Source Program Finale · Zoom · Luma

Check out the ZK circuits built by participants in the Axiom Open-Source Program over the last few months! Our participants have written circuits for…

lu.ma

2

5

24

Axiom

@axiom_xyz

4 months

8/ Axiom V2 is live today on Ethereum mainnet and Sepolia testnet for production and test deploys. Our smart contracts and ZK circuits were audited by @SpearbitDAO @zellic_io @trailofbits and is fully open-sourced with commits specified at:

3

20

Axiom

@axiom_xyz

8 months

gm NYC! We are running workshops and events throughout this week for @ETHGlobal New York with @Scroll_ZKP and @EspressoSys . Join us for ideas, discussions, and hacking with ZK (for up to $10k in prizes!) Here's our full schedule:

1

4

23

Axiom

@axiom_xyz

6 months

We’ll be at ProgCrypto presented by @0xPARC and @PrivacyScaling tomorrow! Check us out at: * 4:00p: @theyisun will present “Scaling data and compute on Ethereum with Axiom” * 5:00p: Panel on “ZK and Blockchains” with @jbaylina @zac_aztec @jasonmorton @theyisun

0xPARC

@0xPARC

7 months

2/ Yi Sun @theyisun , co-founder of @axiom_xyz , will discuss how Axiom gives smart contracts trustless access to the entire history of Ethereum and custom verified compute over it. He will discuss the foundational ZK building blocks enabling this, including SNARK aggregation,…

1

3

10

1

3

24

Axiom

@axiom_xyz

1 year

Our co-founder @theyisun is on the @zeroknowledgefm podcast this week to talk about our ZK coprocessor for Ethereum: Check out the episode to hear more about how we are giving on-chain applications new superpowers by scaling data access and compute!

Episode 276: Expanding Computation on Ethereum with Axiom - ZK Podcast

Zero Knowledge Podcast is a show about zk proofs and other blockchain tech. Learn about the latest in zero knowledge research, cryptography-enabled privacy tech.

zeroknowledge.fm

Zero Knowledge Podcast

@zeroknowledgefm

1 year

🎙️This week, @AnnaRRose and @theyisun chat about @axiom_xyz and what it means to be a ZK coprocessor for Ethereum. They explore how ZKPs are used to help bring historic data onchain and the new use cases this enables.

3

10

43

0

2

21

Axiom

@axiom_xyz

10 months

Hi Paris! We are hosting a last minute hands on dev workshop **tomorrow** July 20, 2:00p - 4:00p: Bring your laptops to try using the sparkling new Axiom SDK to build an end-to-end dApp that lets users generate their own proof of identity!

Build on Axiom: SDK Workshop · Luma

There will be nice AC, cold beverages, and of course food & coffee. directions: enter hotel, go downstairs and look for the gold AXIOM balloons Bring your…

lu.ma

2

3

22

Axiom

@axiom_xyz

26 days

⚪️ ⚪️ ⚪️

Worldcoin

@worldcoin

26 days

⚪️👀

265

238

2K

4

0

24

Axiom

@axiom_xyz

4 months

3/ The program will be hands-on. Our team will mentor you through building an end-to-end smart contract project of your choice leveraging the power of ZK. For examples of projects we'd be excited to mentor, see:

Announcing Cohort 2 of the Axiom ZK Intensive

Learn how to integrate ZK into your smart contract application.

blog.axiom.xyz

2

1

19

Axiom

@axiom_xyz

1 year

13/ This initial Axiom release is only the first step in our mission to unleash the power of ZK for crypto applications. We believe blockchain applications have unlimited appetite for data and compute, and we will empower developers by serving it at greater and greater scale.

1

0

21

Axiom

@axiom_xyz

10 months

3/ Axiom introduces a new way to access data and compute on-chain based on cryptography. All results returned by Axiom are verified on-chain by zero-knowledge proofs, meaning smart contracts can use them without additional trust assumptions.

1

0

22

Axiom

@axiom_xyz

10 months

7/ Axiom can create new trustless oracles for on-chain data: * Gas price oracles to settle blockspace markets. * Trust-minimized price and volatility oracles for arbitrary assets on top of Uniswap liquidity. * Settlement prices for exotic derivatives or structured products.

2

0

21

Axiom

@axiom_xyz

10 months

8/ Axiom enables new types of on-chain coordination: * Proof of Sandwich -- Trustlessly slash builders for blocks containing harmful MEV. * On-chain asset management with performance evaluated based on a function of the full portfolio trajectory.

1

21

Axiom

@axiom_xyz

10 months

👀👀👀

3

1

21

Axiom

@axiom_xyz

2 years

Our DevCon talk recordings are now live: * ZK Circuits for Elliptic Curve Operations in Halo2 * Scaling up Trustless Neural Network Inference with Zero-Knowledge Proofs * ZK Application Design Patterns

ZK Application Design Patterns | Devcon Bogotá

Visit the https://archive.devcon.org/ to gain access to the entire library of Devcon talks with the ease of filtering, playlists, personalized suggestions, d...

www.youtube.com

1

2

19

Axiom

@axiom_xyz

1 year

14/ In the coming weeks, we will share more about how Axiom works, the ZK technology underlying Axiom, and everything else we have in the works. Follow us and join our Discord to stay updated.

Join the Axiom Discord Server!

Check out the Axiom community on Discord - hang out with 8219 other members and enjoy free voice and text chat.

discord.com

1

0

20

Axiom

@axiom_xyz

10 months

4/ To start building with Axiom: * Send an on-chain query with the Axiom SDK: * Check your query status on the Axiom Explorer: * Read about the protocol on our docs:

What is Axiom? | Axiom V2 Developer Docs

Introduction to Axiom

docs.axiom.xyz

1

0

21

Axiom

@axiom_xyz

10 months

6/ We are excited about new types of trust minimized applications Axiom enables. A few ideas in identity are: * Off-chain governance enforced and enacted on-chain without the help of a multisig. * On-chain loyalty systems trustlessly rewarding a protocols most valuable users.

2

0

20

Axiom

@axiom_xyz

1 year

Excited to see projects like GasLockR building on Axiom at @EthereumBeijing . Axiom allows GasLockR to trustlessly access historic on-chain gas prices with our ZK Coprocessor! Looking forward to seeing what else developers can build with it.

GasLockR Demo for ETH Beijing

Please check the pricing model in our Github: https://github.com/GasLockR

www.youtube.com

2

3

18

Axiom

@axiom_xyz

10 months

Gm Paris! We are running workshops throughout the week to build an app with the Axiom mainnet alpha! Bring your ideas or brainstorm with us: See our full schedule at or below:

HackMD - Collaborative Markdown Knowledge Base

Best way to write and share your knowledge in markdown.

hackmd.io

1

18

Axiom

@axiom_xyz

4 months

9/ Learn more at our announcement: If you'd like to integrate, reach out at: To join our dev chat, join our Telegram: Try your first query on Axiom V2 today using our dev docs:

What is Axiom? | Axiom V2 Developer Docs

Introduction to Axiom

docs.axiom.xyz

2

1

18

Axiom

@axiom_xyz

1 year

We had a great time at zkSummit9 this week -- if you weren't able to make it, check out our talk on how Axiom is adding reflection to the EVM: Thanks to @zeroknowledgefm and @AnnaRRose for putting on a great event!

The Zero Knowledge Summit 9 - Lisbon 2023 - Livestream

Livestream from the Main Stage.https://www.zksummit.com/Speaker: Hosted by Anna Rose with Sponsor talks from Aleo, Anoma and Jump Crypto.-----------If you ar...

www.youtube.com

0

3

19

Axiom

@axiom_xyz

5 months

Really excited to see @backaes and @yurikonishijima bring together FHE and ZK in our open-source program. Check out their work!

Enrico Bottazzi | enrico.eth

@backaes

5 months

1. I'm happy to share with you zk-fhe, a joint work with @yurikonishijima to achieve Verifiable Fully Homomorphic Encryption. The circuit was built within @axiom_xyz Open Source Program. Prover time is less than 10s on a M2 Pro!

7

60

259

0

2

19

Axiom

@axiom_xyz

1 year

Come check us out at zkDay today! Our co-founder @theyisun will be on a panel titled ZK Applications: Programmability and Privacy at 2:50p moderated by @_weidai and with: @shumochu ( @mantanetwork ) @adiprinzio_ ( @AleoHQ ) @jonwu_ ( @aztecnetwork )

1

0

18

Axiom

@axiom_xyz

10 months

9/ Axiom can provide new types of delegated async compute: * ZK ML based parameter adjustments for DeFi protocols with trustless historic on-chain data inputs. * Trustless order matching for a batch-auction based dex. Reach out by DM if you are interested in any of these!

1

0

19

Axiom

@axiom_xyz

1 year

1/ Two days til @ETHGlobal Lisbon! We came up with ideas to help you win $275K from @0xPolygon @OptimismFND @UniswapFND @LineaBuild_Evm @Scroll_ZKP Here's how to win by supercharging your hack with ZK using Axiom. Hint: we did the heavy lifting for you 👇

What is Axiom? | Axiom V2 Developer Docs

Introduction to Axiom

docs.axiom.xyz

1

2

18

Axiom

@axiom_xyz

11 months

Check it out at !

Uniswap Foundation

@UniswapFND

11 months

@axiom_xyz received a grant to research & produce a prototype of Checkpoint-free v2 and v3 TWAP oracles. This work may reduce the risk of oracle manipulation & increase usage of trustless on-chain based oracles in DeFi applications which are reliant upon oracles.

1

0

2

1

19

Axiom

@axiom_xyz

11 months

1/ We are running a showcase for the Axiom Open-Source Program this Thursday June 15, 12p-2:30p ET. Participants from across the world spent the last few months developing open-source ZK circuits in halo2. Most had not touched halo2 or even Rust before!

Axiom Open-Source Program Finale · Zoom · Luma

Check out the ZK circuits built by participants in the Axiom Open-Source Program over the last few months! Our participants have written circuits for…

lu.ma

2

5

17

Axiom

@axiom_xyz

1 year

We are on the @zeroknowledgefm podcast with @daniel_d_kang this week to talk about proving valid neural network inference in ZK: Check out the episode to hear our thoughts on scaling up ZK ML, making image edits privately, and possible applications!

Episode 265: Where ZK and ML intersect with Yi Sun and Daniel Kang - ZK Podcast

Zero Knowledge Podcast is a show about zk proofs and other blockchain tech. Learn about the latest in zero knowledge research, cryptography-enabled privacy tech.

zeroknowledge.fm

1

18

Axiom

@axiom_xyz

7 months

Check out all the cool stuff built on halo2! And shout out to @therealyingtong and the @ElectricCoinCo for their work building and maintaining the core library!

映彤 ✨🌱𝚢𝚒𝚗𝚐𝚝𝚘𝚗𝚐.𝚎𝚝𝚑🌱✨

@therealyingtong

7 months

: a community-maintained directory of resources related to halo2, and its many variants! (heavily inspired by @adria0 's awesome-halo2)

4

35

135

0

18

Axiom

@axiom_xyz

4 months

Thanks to @SpearbitDAO for hosting us for this explainer of how our smart contract interface for Axiom V2 works! If you’re interested in building on-chain systems like these interfacing with the cutting edge of ZK, we are hiring for smart contract and ZK engineers. Check out…

Spearbit

@SpearbitDAO

4 months

We have released our seminar with @theyisun from @axiom_xyz on: ⏵ Exploring Ethereum History using ZK ⏴ Yi highlights how to cache Ethereum block hashes back to genesis in a Merkle mountain range on-chain and verify proofs against this cache and much more! (Video Below)

2

6

53

1

0

17

Axiom

@axiom_xyz

1 year

Also huge shout out to @antimatter15 for building @zkREPL which makes sharing these circuits infinitely easier.

1

6

18

Axiom

@axiom_xyz

10 months

10/ This mainnet alpha release is the first step towards our goal of empowering developers to build a new class of data-rich applications combining the rich interactions of traditional webapps with the security of Ethereum.

2

0

17

Axiom

@axiom_xyz

5 months

With Axiom, developers verify on-chain user actions via emitted contract events, enabling smart contracts to tailor experiences based on specific user actions. Here's a walkthrough on how to use the Axiom SDK to generate a proof for a Solidity event 🧵👇

2

1

16

Axiom

@axiom_xyz

1 month

This release will allow smart contracts on Base to compute over the history of Base, including receipts, transactions, and contract storage. Developers can query this history in Typescript with the Axiom SDK and receive ZK-verified results on-chain.

Axiom is Coming to Base

Compute over the history of Base from your smart contract.

blog.axiom.xyz

1

17

Axiom

@axiom_xyz

7 months

Under the hood, halo2-repl uses WebAssembly bindings to allow your Javascript code to call ZK circuit primitives in our halo2-lib library written in Rust. We've packaged these into halo2-browser, which is fully open-sourced at: Contributions are welcome!

GitHub - axiom-crypto/halo2-browser: Monorepo of tools for using the halo2 proving system in-brow...

Monorepo of tools for using the halo2 proving system in-browser using WASM. - axiom-crypto/halo2-browser

github.com

1

17

Axiom

@axiom_xyz

8 months

We'll be at #ETHGlobalNewYork next week! We are offering $10K in prizes to developers using Axiom to build new on-chain applications. Apply now to hack at @ETHGlobal , spots are running out fast!

0

2

14

Axiom

@axiom_xyz

1 year

On top of the security and performant feature set @ElectricCoinCo engineered into halo2, we love the open and permissionless ethos. Open-sourcing under Apache/MIT has enabled the community to add features like a KZG backend and randomness in witness gen (by @PrivacyScaling )!

Zcash 🛡️

@zcash

1 year

and we implemented a trustless, recursive zero-knowledge proof on #Zcash mainnet last year. it's called Halo. you should read about it:

1

13

51

0

16

Axiom

@axiom_xyz

1 year

This problem is exactly what inspired us to build Axiom. DM if you have historic on-chain state you’d like to access in your smart contract!

Dennison is on farcaster

@DennisonBertram

1 year

The fact that most on-chain state is inaccessible to smart contracts really makes life difficult. Like- why am I looking at this ledger of state, need to index events, and rebuild the ledger of state with my own indexer? most data you just can’t call, you have to compute.

10

2

49

0

1

16

Axiom

@axiom_xyz

4 months

1/ Smart contracts today operate in a data-starved environment. Reading and writing data is the most expensive operation for smart contracts, making applications reliant on large amounts of data prohibitively expensive or impossible to run on-chain.

1

0

16

Axiom

@axiom_xyz

10 months

12/ If you have an idea to discuss or you'd like integration help, fill out our early partner form or talk with other developers on Telegram . We are excited to see what you will build!

Axiom Discussion

Technical discussion about building using Axiom.

t.me

0

16