Shared Prover — это механизм, который используется в цепочке для объединения смарт-контрактов пользователей. Эти программы различаются по логике, но выполняются вместе. SHARP генерирует для них единое доказательство.