Questions tagged [starks]
The starks tag has no usage guidance.
5
questions
2
votes
0answers
84 views
It is possible to verify the computation of a hash function without actually proving it in zero knowledge?
Let me first introduce the context: Let's say that we have a hash function evaluation: $$h = H(x, y),$$ where $x$ and $y$ are the public and the private input of the hash function $H$, respectively.
...
5
votes
1answer
405 views
Why invent new hash functions for zero-knowledge proofs?
Recently, new hash functions were invented. Their primary purpose is serving the needs of zero-knowledge proof systems. I'm talking about Poseidon-256, Starkad-256, etc. See the paper.
What is the ...
1
vote
1answer
130 views
Linear combination IOP for SNARK registers
The STARK paper says
Our ZK-STARK uses a separate Reed-Solomon codeword for each register, leading to w many codewords, each of lower degree ...
4
votes
1answer
160 views
Transparent Setup of SNARKs
The STARKs paper states
Third, and most important, ZK-PCPs are transparent (or “public
randomness” ), which means that the randomness used by the verifier is
public; in particular, setting up a ...
2
votes
0answers
47 views
Assumptions underlying the soundness of STARKs
STARKs have recently received quite a lot of attention due to their small proof size and supposedly simple assumptions.
The paper introduction itself seems to mainly state that their construction is ...
Hot Network Questions
- is it illegal to falsely use an unrelated act to block/ban things?
- Why do microwaves penetrate flesh when visible light does not at the same intensity?
- I lost one of the rear rear derailleur hanger screws, what could be the cause, and is it safe to ride before I replace the bolt
- Why do drives occupy memory on Amigas
- What is the time constant for this circuit?
- In x86 real mode, how does BIOS know what hardware is present?
- Does a non-creature spell becoming a creature permanent on the battlefield triggers ETB triggered abilities?
- Is Eric Weinstein's copyright protection of Geometric Unity in the spirit of Science?
- Vector Implementation in C
- I made a major (criminal) mistake in college and the whole faculty knows about it, but I graduated. Might they admit me for grad school?
- Rendering Objects one by one?
- What shape the Earth would have to be for an object in free fall to follow a straight line trajectory?
- Can you monitor the state of charge of lead-acid batteries through their terminal voltage if they're being used?
- Self-referential triangle sequence
- Film lab not developing all photos
- Solve the equation in positive integers.
- Sawtooth wave in oscilloscope instead of a square wave
- Print Gobar Primes
- Can I bring hair treatment products and shampoo/conditioner over 100ml in my checked luggage?
- Book where members of a reptilian species eat their own kind to increase their intelligence
- Why is there no case aggrement betwewn "magni" and "poetae"?
- Eigenvalue and span of vector in Hilbert space
- Why can MD simulations not handle "exotic" materials?
- What is this LEGO piece?