Comments (2)
str4d
commented on June 18, 2024
We decided on a model that represents circuits as being composed of one or more "chips", which implement "instruction sets" that are required by "gadgets". A circuit then configures itself with chips that provide the set of necessary instructions, and then uses them in the gadgets it needs via a "layouter" that knows how to assign regions of cells within a circuit.
The main traits for this were implemented in #125. There may be some additional helper structs that we define as we go, but all that remains for this issue is to ensure the design is documented in the book.
from halo2.
daira
commented on June 18, 2024
The documentation part of this has been filed as #312.
from halo2.
Related Issues (20)
- Change `pub(crate)` to `pub` for `enable_selector` method of `Region` type
- Fix "simple example" book text to match code
- Why `K` doesn't need copy from fixed column?
- Modify `query_instance` API to take an absolute row rather than a relative `Rotation` HOT 2
- `Circuit::configure()` forces you to know the circuit configuration at compile time HOT 1
- misleading comment description in verify_proof function
- The code implementation does not match the description HOT 2
- What is the size of the vanishing polynomial domain?
- How to get `AssignedCell` from a lookup table
- Modify constraint in `decompose_running_sum`
- `tracing` should be optional
- ELI15:
- The https://p.z.cash documentation links in the source code are broken
- [book] The βΈ incomplete addition operator is not rendering correctly on the Sinsemilla page
- book/Makefile should be removed
- Consider using the no-threads shim mode in rayon 1.7.0 instead of maybe-rayon
- Do not include the fixed and instance column evaluations into the proof
- [book] Add documentation and recommendations about circuit compatibility and upgrades
- why no r_poly in prover's multipoint code
- Working with field elements
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. πππ
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google β€οΈ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from halo2.