KO
|
EN
gitlite — search
Search
#python
#hacktoberfest
#android
#javascript
#website
#react
#ios
#nodejs
#typescript
#covid-19
#php
#vue
axiom-eth
★ 96
Open GitHub ↗
No description available.
Download README (.md)
Explore Similar Repositories
hivemq-mqtt-client-dotnet
:
Spectacular C# MQTT and Sparkplug Clients for .NET
Tidme
:
Tidme uses advanced Incremental Learning concepts to make it your powerful second brain for acquiring lifelong knowledge.
huggingface-inference-toolkit
:
Hugging Face Inference Toolkit used to serve transformers, sentence-transformers, and diffusers models.
Dorisoy.POS
:
使用.Net7 + Angular4开发的一套新零售快消进销存管理系统，带库存管理的高级轻量级POS，具有闪电般的性能和开箱即用的页面加载速度。
URP-Render-Features
:
Custom render features for URP using RenderGraph. Includes outlines, desaturation and blur.
// repository documentation
Was this content helpful?
★ 0
(0 ratings)
Select Rating:
★
★
★
★
★
Submit Feedback
Recent Feedback
×
Download README
Do you want to download the
README.md
file for
axiom-eth
?
Download (.md)
# Axiom ZK Circuits This repository builds on [halo2-lib](https://github.com/axiom-crypto/halo2-lib/tree/main) and [snark-verifier](https://github.com/axiom-crypto/snark-verifier/) to create a library of zero-knowledge proof circuits that [Axiom](https://axiom.xyz) uses to read data from the Ethereum virtual machine (EVM). This monorepo consists of multiple crates: ## `axiom-eth` This is the main library of chips and frameworks for building ZK circuits that prove data from the Ethereum virtual machine (EVM). For more details, see the [README](./axiom-eth/README.md). ## `axiom-core` This contains the ZK circuits that generate proofs for the `AxiomV2Core` smart contract. These circuits read the RLP encoded block headers for a chain of blocks and verify that the block headers form a chain. They output a Merkle Mountain Range of the block hashes of the chain. This crate also contains aggregation circuits to aggregate multiple circuits for the purpose of proving longer chains. For more details, see the [README](./axiom-core/README.md). ## `axiom-query` This contains the ZK circuits that generate proofs for the `AxiomV2Query` smart contract. For more details, see the [README](./axiom-query/README.md). ### `axiom-codec` This crate does not contain any ZK circuits, but it contains Rust types for Axiom queries and specifies how to encode/decode them to field elements for in-circuit use.
