remove unused snarky apis

o1-labs · Mar 14, 2024 · 1ebd505 · 1ebd505
1 parent 9093963
commit 1ebd505
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/src/snarky.d.ts b/src/snarky.d.ts
@@ -178,20 +178,6 @@ declare const Snarky: {
    * APIs that have to do with running provable code
    */
   run: {
-    /**
-     * witness `sizeInFields` field element variables
-     *
-     * Note: this is called "exists" because in a proof, you use it like this:
-     * > "I prove that there exists x, such that (some statement)"
-     */
-    exists(
-      sizeInFields: number,
-      compute: () => MlArray<FieldConst>
-    ): MlArray<VarFieldVar>;
-    /**
-     * witness a single field element variable
-     */
-    existsOne(compute: () => FieldConst): VarFieldVar;
     /**
      * Checks whether Snarky runs in "prover mode", that is, with witnesses
      */