@crisp-e3/sdk 0.26.0 → 0.27.0-insecure.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +2 -2
- package/dist/{circuits-BTUteTjK.d.ts → circuits-DAHZRhC4.d.ts} +3 -3
- package/dist/index.d.ts +1 -1
- package/dist/index.js +3 -3
- package/dist/index.js.map +1 -1
- package/dist/presets/{insecure-512.d.ts → insecure-64.d.ts} +2 -2
- package/dist/presets/insecure-64.js +26 -0
- package/dist/presets/secure-8192.d.ts +1 -8
- package/dist/presets/secure-8192.js +6 -20
- package/dist/workers/generateCircuitInputs.worker.js.map +1 -1
- package/package.json +9 -9
- package/dist/.tsbuildinfo +0 -1
- package/dist/presets/insecure-512.js +0 -26
package/README.md
CHANGED
|
@@ -21,12 +21,12 @@ npm install @crisp-e3/sdk
|
|
|
21
21
|
## Choosing a preset
|
|
22
22
|
|
|
23
23
|
Proving needs the BFV-shaped circuits, and those exist once per parameter set. They are not part of
|
|
24
|
-
the main entry point: the `secure-8192` set is far larger than `insecure-
|
|
24
|
+
the main entry point: the `secure-8192` set is far larger than `insecure-64`. Each preset has its
|
|
25
25
|
own subpath, so your bundler can pull only the one the round needs.
|
|
26
26
|
|
|
27
27
|
```ts
|
|
28
28
|
import { setCircuits } from '@crisp-e3/sdk'
|
|
29
|
-
import { loadCircuits } from '@crisp-e3/sdk/insecure-
|
|
29
|
+
import { loadCircuits } from '@crisp-e3/sdk/insecure-64' // or '@crisp-e3/sdk/secure-8192'
|
|
30
30
|
|
|
31
31
|
setCircuits(await loadCircuits())
|
|
32
32
|
```
|
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
import { CompiledCircuit } from '@noir-lang/noir_js';
|
|
2
2
|
|
|
3
3
|
/** BFV parameter sets the circuits can be compiled against. */
|
|
4
|
-
type CircuitPreset = 'insecure-
|
|
4
|
+
type CircuitPreset = 'insecure-64' | 'secure-8192';
|
|
5
5
|
/**
|
|
6
6
|
* The circuits whose ABI is shaped by the BFV degree, and which therefore exist once per preset.
|
|
7
7
|
*
|
|
@@ -22,12 +22,12 @@ type CircuitBundle = {
|
|
|
22
22
|
* Install the preset-bound circuits used by `generateProof`.
|
|
23
23
|
*
|
|
24
24
|
* The bundle is not bundled into the main entry point, because the secure-8192 artifacts are more
|
|
25
|
-
* than an order of magnitude larger than the insecure-
|
|
25
|
+
* than an order of magnitude larger than the insecure-64 ones. Load the preset selected by the
|
|
26
26
|
* round from its subpath and register it before proving:
|
|
27
27
|
*
|
|
28
28
|
* ```ts
|
|
29
29
|
* import { setCircuits } from '@crisp-e3/sdk'
|
|
30
|
-
* import { loadCircuits } from '@crisp-e3/sdk/insecure-
|
|
30
|
+
* import { loadCircuits } from '@crisp-e3/sdk/insecure-64'
|
|
31
31
|
*
|
|
32
32
|
* setCircuits(await loadCircuits())
|
|
33
33
|
* ```
|
package/dist/index.d.ts
CHANGED
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
export { C as CircuitBundle, a as CircuitPreset, g as getRegisteredCircuits, r as registeredPreset, b as requireCircuits, s as setCircuits } from './circuits-
|
|
1
|
+
export { C as CircuitBundle, a as CircuitPreset, g as getRegisteredCircuits, r as registeredPreset, b as requireCircuits, s as setCircuits } from './circuits-DAHZRhC4.js';
|
|
2
2
|
import { LeanIMTMerkleProof, LeanIMT } from '@zk-kit/lean-imt';
|
|
3
3
|
import { Hex } from 'viem';
|
|
4
4
|
import '@noir-lang/noir_js';
|