@aztec/bb-prover 0.0.1-commit.b655e406 → 0.0.1-commit.fce3e4f

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.
Files changed (66) hide show
  1. package/dest/avm_proving_tests/avm_proving_tester.d.ts +3 -4
  2. package/dest/avm_proving_tests/avm_proving_tester.d.ts.map +1 -1
  3. package/dest/avm_proving_tests/avm_proving_tester.js +2 -1
  4. package/dest/bb/cli.d.ts +1 -1
  5. package/dest/bb/execute.d.ts +1 -1
  6. package/dest/bb/execute.d.ts.map +1 -1
  7. package/dest/bb/execute.js +12 -8
  8. package/dest/bb/index.d.ts +1 -1
  9. package/dest/config.d.ts +1 -1
  10. package/dest/honk.d.ts +1 -1
  11. package/dest/index.d.ts +1 -1
  12. package/dest/instrumentation.d.ts +1 -1
  13. package/dest/instrumentation.d.ts.map +1 -1
  14. package/dest/prover/client/bb_private_kernel_prover.d.ts +3 -3
  15. package/dest/prover/client/bb_private_kernel_prover.d.ts.map +1 -1
  16. package/dest/prover/client/bb_private_kernel_prover.js +24 -5
  17. package/dest/prover/client/bundle.d.ts +6 -0
  18. package/dest/prover/client/bundle.d.ts.map +1 -0
  19. package/dest/prover/client/bundle.js +8 -0
  20. package/dest/prover/client/lazy.d.ts +6 -0
  21. package/dest/prover/client/lazy.d.ts.map +1 -0
  22. package/dest/prover/client/lazy.js +8 -0
  23. package/dest/prover/index.d.ts +1 -1
  24. package/dest/prover/proof_utils.d.ts +1 -1
  25. package/dest/prover/server/bb_prover.d.ts +1 -10
  26. package/dest/prover/server/bb_prover.d.ts.map +1 -1
  27. package/dest/test/delay_values.d.ts +1 -1
  28. package/dest/test/delay_values.js +13 -13
  29. package/dest/test/index.d.ts +1 -1
  30. package/dest/test/test_circuit_prover.d.ts +1 -1
  31. package/dest/test/test_circuit_prover.d.ts.map +1 -1
  32. package/dest/test/test_verifier.d.ts +3 -1
  33. package/dest/test/test_verifier.d.ts.map +1 -1
  34. package/dest/test/test_verifier.js +15 -0
  35. package/dest/verification_key/verification_key_data.d.ts +1 -1
  36. package/dest/verifier/bb_verifier.d.ts +1 -1
  37. package/dest/verifier/bb_verifier.d.ts.map +1 -1
  38. package/dest/verifier/bb_verifier.js +3 -0
  39. package/dest/verifier/index.d.ts +1 -1
  40. package/dest/verifier/queued_chonk_verifier.d.ts +1 -1
  41. package/dest/verifier/queued_chonk_verifier.d.ts.map +1 -1
  42. package/package.json +23 -22
  43. package/src/avm_proving_tests/avm_proving_tester.ts +2 -2
  44. package/src/bb/execute.ts +5 -8
  45. package/src/prover/client/bb_private_kernel_prover.ts +29 -5
  46. package/src/prover/client/bundle.ts +11 -0
  47. package/src/prover/client/lazy.ts +11 -0
  48. package/src/test/delay_values.ts +13 -13
  49. package/src/test/test_verifier.ts +8 -0
  50. package/src/verifier/bb_verifier.ts +3 -0
  51. package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts +0 -23
  52. package/dest/prover/client/native/bb_native_private_kernel_prover.d.ts.map +0 -1
  53. package/dest/prover/client/native/bb_native_private_kernel_prover.js +0 -66
  54. package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts +0 -15
  55. package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.d.ts.map +0 -1
  56. package/dest/prover/client/wasm/bb_wasm_private_kernel_prover.js +0 -46
  57. package/dest/prover/client/wasm/bundle.d.ts +0 -6
  58. package/dest/prover/client/wasm/bundle.d.ts.map +0 -1
  59. package/dest/prover/client/wasm/bundle.js +0 -8
  60. package/dest/prover/client/wasm/lazy.d.ts +0 -6
  61. package/dest/prover/client/wasm/lazy.d.ts.map +0 -1
  62. package/dest/prover/client/wasm/lazy.js +0 -8
  63. package/src/prover/client/native/bb_native_private_kernel_prover.ts +0 -105
  64. package/src/prover/client/wasm/bb_wasm_private_kernel_prover.ts +0 -58
  65. package/src/prover/client/wasm/bundle.ts +0 -11
  66. package/src/prover/client/wasm/lazy.ts +0 -11
@@ -1,58 +0,0 @@
1
- import { AztecClientBackend } from '@aztec/bb.js';
2
- import { createLogger } from '@aztec/foundation/log';
3
- import { Timer } from '@aztec/foundation/timer';
4
- import { serializeWitness } from '@aztec/noir-noirc_abi';
5
- import type { ArtifactProvider } from '@aztec/noir-protocol-circuits-types/types';
6
- import type { CircuitSimulator } from '@aztec/simulator/client';
7
- import type { PrivateExecutionStep } from '@aztec/stdlib/kernel';
8
- import { ChonkProofWithPublicInputs } from '@aztec/stdlib/proofs';
9
-
10
- import { ungzip } from 'pako';
11
-
12
- import { BBPrivateKernelProver } from '../bb_private_kernel_prover.js';
13
-
14
- export abstract class BBWASMPrivateKernelProver extends BBPrivateKernelProver {
15
- constructor(
16
- protected override artifactProvider: ArtifactProvider,
17
- protected override simulator: CircuitSimulator,
18
- private threads: number = 1,
19
- protected override log = createLogger('bb-prover:wasm'),
20
- ) {
21
- super(artifactProvider, simulator, log);
22
- }
23
-
24
- public override async createChonkProof(executionSteps: PrivateExecutionStep[]): Promise<ChonkProofWithPublicInputs> {
25
- const timer = new Timer();
26
- this.log.info(`Generating Chonk proof...`);
27
- const backend = new AztecClientBackend(
28
- executionSteps.map(step => ungzip(step.bytecode)),
29
- { threads: this.threads, logger: this.log.verbose, wasmPath: process.env.BB_WASM_PATH },
30
- );
31
-
32
- const [proof] = await backend.prove(
33
- executionSteps.map(step => ungzip(serializeWitness(step.witness))),
34
- executionSteps.map(step => step.vk),
35
- );
36
- await backend.destroy();
37
- this.log.info(`Generated Chonk proof`, {
38
- eventName: 'chonk-proof-generation',
39
- duration: timer.ms(),
40
- proofSize: proof.length,
41
- });
42
- return ChonkProofWithPublicInputs.fromBufferArray(proof);
43
- }
44
-
45
- public override async computeGateCountForCircuit(_bytecode: Buffer, _circuitName: string): Promise<number> {
46
- // Note we do not pass the vk to the backend. This is unneeded for gate counts.
47
- const backend = new AztecClientBackend([ungzip(_bytecode)], {
48
- threads: this.threads,
49
- logger: this.log.verbose,
50
- wasmPath: process.env.BB_WASM_PATH,
51
- });
52
-
53
- const gateCount = await backend.gates();
54
- await backend.destroy();
55
-
56
- return gateCount[0];
57
- }
58
- }
@@ -1,11 +0,0 @@
1
- import { createLogger } from '@aztec/foundation/log';
2
- import { BundleArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/bundle';
3
- import type { CircuitSimulator } from '@aztec/simulator/client';
4
-
5
- import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
6
-
7
- export class BBWASMBundlePrivateKernelProver extends BBWASMPrivateKernelProver {
8
- constructor(simulator: CircuitSimulator, threads = 16, log = createLogger('bb-prover:wasm:bundle')) {
9
- super(new BundleArtifactProvider(), simulator, threads, log);
10
- }
11
- }
@@ -1,11 +0,0 @@
1
- import { createLogger } from '@aztec/foundation/log';
2
- import { LazyArtifactProvider } from '@aztec/noir-protocol-circuits-types/client/lazy';
3
- import type { CircuitSimulator } from '@aztec/simulator/client';
4
-
5
- import { BBWASMPrivateKernelProver } from './bb_wasm_private_kernel_prover.js';
6
-
7
- export class BBWASMLazyPrivateKernelProver extends BBWASMPrivateKernelProver {
8
- constructor(simulator: CircuitSimulator, threads = 16, log = createLogger('bb-prover:wasm:lazy')) {
9
- super(new LazyArtifactProvider(), simulator, threads, log);
10
- }
11
- }