ebfull / halo Goto Github PK
View Code? Open in Web Editor NEWLicense: Other
License: Other
Hi everyone,
I cloned the repository and compiled the code using cargo build --release.
Then I executed the main() function in paper.rs, but parameters and recursive proofs generation takes quite a long time to execute:
Making parameters
done, took 565.443144333s
creating proof1
done, took 1334.410390658s
verifying proof1
done, took 59.727668915s
creating proof2
done, took 1343.427346562s
verifying proof2
done, took 128.97836519s
creating proof3
done, took 1392.430266872s
verifying proof3
done, took 125.734783976s
creating proof4
done, took 1372.966353744s
verifying proof4
done, took 128.639343493s
...
I'm using an Ubuntu 18.04.2 (64bit) VM running on Oracle VM Virtualbox, to which I allocated 4 cores of an Intel Core i7-8750H CPU @ 2.20GHz and 8GB RAM. I also set the cargo profile in cargo.toml in this way:
opt-level = 3
lto = true
codegen-units = 1
Is this expected or am I doing something wrong ?
Thanks in advance !
Requires picking a random generator of each field.
The Bitcoin example recursive circuit needs to enforce:
hash <= target
(to ensure the block header satisfies the required work)remainder <= target
(as part of constraining the integer division 2^256 / (target + 1) = work
)target
is expanded from the header's nBits
field, and thus is almost never a power of two, requiring a variable-bound range proof.
I am quite confused about the introduction about the Amortized Polynomial Commitments when reading the Halo paper in section 3.1. What's is the concrete algorithm about the polynomial commitments, there is no precise reference about this in the paper?
My understanding is that zk-STARKs also require no trusted setup.
How is Halo different from STARKs? How is it better?
I'm reading the Halo paper, in Figure 1 of page 17, I think the v9
val should be r(x,y)(xy)^{3N-1}
.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.