Thank you for this series and for releasing your code!
Will you be extending this series to discuss the impact of adding "perfect" zero-knowledge to a recursive STARK? How does the masking step impact the size/cost of the final verifier-efficient proofs?
Thank you for this series and for releasing your code!
Will you be extending this series to discuss the impact of adding "perfect" zero-knowledge to a recursive STARK? How does the masking step impact the size/cost of the final verifier-efficient proofs?