(do not merge) how to expose things 1o1

src/examples/poseidon-cipher.ts

@@ -0,0 +1,6 @@
+import { Snarky, Field, initializeBindings } from 'o1js';
+
+await initializeBindings();
+
+let res = Snarky.run.poseidonBlockCipher([Field.from(21)]);
+console.log(res);

src/index.ts

@@ -1,6 +1,6 @@
 export { TupleN } from './lib/util/types.js';
 export type { ProvablePure } from './lib/provable/types/provable-intf.js';
-export { Ledger, initializeBindings } from './snarky.js';
+export { Ledger, initializeBindings, Snarky } from './snarky.js';
 export { Field, Bool, Group, Scalar } from './lib/provable/wrapped.js';
 export {
   createForeignField,
@@ -116,6 +116,7 @@ import { Recursive as Recursive_ } from './lib/proof-system/recursive.js';
 export { Experimental };
 
 import * as V2 from './lib/mina/v2/index.js';
+import { Snarky } from './snarky.js';
 
 const Experimental_ = {
   memoizeWitness,

src/snarky.d.ts

@@ -97,6 +97,11 @@ declare const Snarky: {
      * Check whether we are inside an asProver or exists block
      */
     inProverBlock(): boolean;
+
+    poseidonBlockCipher(
+      state: Array<Field>,
+    ): unknown;
+
     /**
      * Setting that controls whether snarky throws an exception on violated constraint.
      */