Linked Presentation: Incremental Offline/Online PIREfficient Representation of Numerical Optimization Problems for SNARKs