@misc{indiciae70155ffcd4a8,
  title = {Proof Systems Based on Structured Circuits},
  author = {Matthäus Micun and Christoph Berkholz},
  year = {2026},
  url = {https://arxiv.org/abs/2605.12378},
  note = {Source identifier: 2605.12378}
}