#include <cstdio>
#include <chrono>
#include <vector>
#include "linear_code_encode.h"
#include "Orion_prover.h"
#include "Orion_verifier.h"
#include <map>
void prove_encodings_orion(vector<vector<F>> vectors, vector<size_t> J);