Code

Directly include proof producer#8

Code

Merged

AndreyMlashkin merged 112 commits intomasterNilFoundation/placeholder:masterfrom directly-include-proof-producerNilFoundation/placeholder:directly-include-proof-producerCopy head branch name to clipboardSep 13, 2024

+1,848-6

Commits

Commits on Jul 24, 2023

• Initial single-thread implementation added.

  nkaskov

  committed
  f64ea36

Commits on Jul 25, 2023

• Blueprint dependency removed. Submodules crypto3, DBMS application, module and plugin added.

  nkaskov

  committed
  23c4e43

• Blueprint 102-two-blueprints temporary added until Mina state proof is moved to mina-state-proof. #2

  nkaskov

  committed
  db41d41

Commits on Jul 26, 2023

• Transpiler submodule temporary added to reuse assignment table deserialization.

  nkaskov

  committed
  219ab01

• Prover input changed. Assigner duplicated logic removed. #1

  nkaskov

  committed
  a9e57b8

• Crypto3 submodule updated after zk module update.

  nkaskov

  committed
  fbf2cb6

• Usage of deprecated boost::filesystem functionality removed.

  nkaskov

  committed
  d06737b

Commits on Aug 30, 2023

• deleted mina-state proof support, blueprint_mc and updated dependencies

  g-arakelov

  committed
  7ac73c2

Commits on Oct 3, 2023

• Merge pull request #7 from NilFoundation/2-remove-mina-circuit-logic-to-separate-repository

  g-arakelov

  authored
  cd5f8c7

Commits on Oct 19, 2023

• Create README.md

  g-arakelov

  authored
  4fed832

• Update README.md

  g-arakelov

  authored
  4aa3479

Commits on Oct 20, 2023

• Update README.md

  g-arakelov

  authored
  e520ed4

Commits on Oct 23, 2023

• marshalling update #9

  SK0M0R0H

  committed
  a3d1eff

• update prover with new interfaces

  SK0M0R0H

  committed
  d4d09ec

Commits on Nov 10, 2023

• Merge pull request #12 from NilFoundation/9-adjustable-placeholder-params

  Show description for f3841b0
  SK0M0R0H

  authored
  f3841b0

• dependencies update

  SK0M0R0H

  committed
  fbcf856

Commits on Nov 15, 2023

• docker: build an image with zkLLVM and proof-generator

  

  NickVolynkin

  authored and

  nkaskov

  committed
  7481add

• added basic CI

  

  g-arakelov

  authored and

  NickVolynkin

  committed
  e006f05

• ci: build deb always, push on tags

  Show description for af1e5bf
  NickVolynkin

  committed
  af1e5bf

• Dependency from blueprint and transpiler removed.

  

  nkaskov

  authored and

  NickVolynkin

  committed
  4129fd1

• Lambda value updated from 2 to 9.

  

  nkaskov

  authored and

  NickVolynkin

  committed
  5f77258

• release: 0.1.1

  NickVolynkin

  committed
  56bd34a

• deb: get version from VERSION file

  NickVolynkin

  committed
  6fea0f6

Commits on Nov 16, 2023

• docker: bring back the WORKDIR instruction

  NickVolynkin

  committed
  0083939

Commits on Dec 13, 2023

• Crypto3 updated to master.

  nkaskov

  committed
  fd6c3b7

• create_fri_params function updated to the new version from the transpiler

  nkaskov

  committed
  c2b2cad

• Columns amount change to the new version from the transpiler

  nkaskov

  committed
  fd603bd

Commits on Dec 18, 2023

• Crypto3 updated to get last version of the Placeholder prover

  nkaskov

  committed
  4122dbf

• Add reusable workflow for proofs generation

  

  x-mass

  authored and

  nkaskov

  committed
  b80eb7d

• Exit with non-zero code on proof fail

  

  x-mass

  authored and

  nkaskov

  committed
  78790d5

• Fix linking phase

  

  x-mass

  authored and

  nkaskov

  committed
  83ff25d

• Add output artifact name as input

  

  x-mass

  authored and

  nkaskov

  committed
  ce08def

• Leave only Linux

  

  x-mass

  authored and

  nkaskov

  committed
  bc41526

Commits on Dec 21, 2023

• Upload only proofs from a single configuration, fix matrix

  x-mass

  committed
  af67299

Commits on Dec 22, 2023

• Add consistent testing

  x-mass

  committed
  402e67e

• Read circuit/assignment in binary format

  

  akokoshn

  authored and

  nkaskov

  committed
  e4a3ddb

• CLI boost options updated. Boost log usage added instead of cout and cerr.

  

  nkaskov

  authored and

  x-mass

  committed
  6ba4672

Commits on Dec 30, 2023

• Add multithreaded actor

  

  g-arakelov

  authored and

  nkaskov

  committed
  597cd41

• README updated

  

  x-mass

  authored and

  nkaskov

  committed
  a69f231

• Support multithreaded actor in workflows

  

  x-mass

  authored and

  nkaskov

  committed
  9f4fd45

• Update submodules to latest master.

  

  x-mass

  authored and

  nkaskov

  committed
  823d240

• Don't skip build workflow on push

  

  x-mass

  authored and

  nkaskov

  committed
  65a8fb3

Commits on Jan 2, 2024

• CPack added for single-threaded proof-generator.

  nkaskov

  committed
  4320572

• Multithreaded proof generator added to the deb package.

  nkaskov

  committed
  806542e

• Multhreaded version dependencies added to the deb package dependencies.

  nkaskov

  committed
  c0194a6

• Package versioning updated to be the same with zkLLVM packages.

  nkaskov

  committed
  7379a36

• libfmt-dev added to the deb package dependencies

  nkaskov

  committed
  4ce1825

• Boost_USE_STATIC_LIBS set True by default.

  nkaskov

  committed
  361f570

• The name of the github release updated.

  nkaskov

  committed
  a6914dc

Commits on Jan 3, 2024

• Setting GIT_EXECUTABLE value in CMake.

  

  martun

  authored and

  nkaskov

  committed
  c39ba89

Commits on Jan 5, 2024

• All the files of proof-generator and proof-generator-multithreaded deduplicated.

  nkaskov

  committed
  114d794

• Binaries for symlinks renamed after the interface generalization.

  nkaskov

  committed
  6697949

Commits on Jan 9, 2024

• README updated with the binary instalation instruction.

  nkaskov

  committed
  c3a14ff

• CPACK_PACKAGING_INSTALL_PREFIX changed to /usr/lib/proof-producer

  nkaskov

  committed
  f0d9aa4

• CMAKE_INSTALL_PREFIX processing added.

  nkaskov

  committed
  4bff48c

• Fixing all versions of actor prover dependencies, so it will work on all systems.

  

  minstrel1983

  authored and

  nkaskov

  committed
  0622c17

• Make fixed versions less strict

  

  x-mass

  authored and

  nkaskov

  committed
  3d50b54

• Fix testing script for multithreaded generator

  

  x-mass

  authored and

  nkaskov

  committed
  3051ab0

Commits on Jan 10, 2024

• Update Boost, move its static linkage to CMake flag

  

  x-mass

  authored and

  nkaskov

  committed
  fc81823

• Fixing namespace, updating actor-zk.

  

  martun

  authored and

  nkaskov

  committed
  eb4c86d

• Set default Boost version to 1.83.0

  x-mass

  committed
  24edeb7

Commits on Jan 15, 2024

• Add integration testing with zkLLVM artifacts

  x-mass

  committed
  a252124

• zkLLVM proof2json recursive verifier input creation tool added

  Show description for 5cf5d6a
  

  nkaskov

  and

  ETatuzova

  committed
  5cf5d6a

• Version print added to the proof generators.

  nkaskov

  committed
  5b54d20

• Proof loading functions changed to older format

  

  ETatuzova

  authored and

  nkaskov

  committed
  3d06d26

Commits on Jan 23, 2024

• add cutve-type comand line argument to jsonizer

  

  CblPOK-git

  authored and

  x-mass

  committed
  e32be57

• Add curve-type command line argument to proof-generator

  x-mass

  committed
  1483640

• Fix GH Actions build

  x-mass

  committed
  7efaf16

Commits on Jan 30, 2024

• Fix build when recursive checkout takes action

  x-mass

  committed
  12d6338

Commits on Jan 31, 2024

• Yet another recursive checkout fix to reusable workflow

  x-mass

  committed
  b1e3800

• Submodules updated #60

  

  ETatuzova

  authored and

  x-mass

  committed
  69e432a

• Actor submodules reverted #60

  

  ETatuzova

  authored and

  x-mass

  committed
  b921ea4

Commits on Feb 1, 2024

• Add manual unzip step in testing workflow

  x-mass

  committed
  b5a26ec

Commits on Feb 2, 2024

• Permutation size updated #63

  ETatuzova

  committed
  b1cce74

• actor-zk updated #63

  ETatuzova

  committed
  d342464

• Actor-zk updated #63

  ETatuzova

  committed
  ac6ebad

• Added comment #63

  ETatuzova

  committed
  63e568a

• actor zk updated #63

  ETatuzova

  committed
  dbd9ec2

• Minor fixes#63

  ETatuzova

  committed
  0924fe0

Commits on Feb 9, 2024

• Add --verification-only mode

  x-mass

  committed
  98c69a5

• Fix release workflow dependencies

  x-mass

  committed
  7ed0ff3

• Fix CMake configuration in release

  x-mass

  committed
  c0b9a78

• Fix CMake configuration in release

  x-mass

  committed
  e90bff9

Commits on Feb 10, 2024

• Adjust number of Selector columns

  

  akokoshn

  authored and

  akokoshn

  committed
  3478db6

Commits on Feb 12, 2024

• LPC batching updated #65

  ETatuzova

  committed
  876eba3

Commits on Feb 13, 2024

• Refactoring. Add configurable arithmetization params

  x-mass

  committed
  498f1cf

• Add clang-format check to PR

  x-mass

  committed
  38c73ac

• Store .deb package from PR workflow if generation passed

  x-mass

  committed
  9916a65

Commits on Feb 18, 2024

• New actor in proof producer.

  martun

  committed
  0cac135

Commits on Feb 19, 2024

• Save preprocessed common data to file. Temp solution

  x-mass

  committed
  eb21fbb

• Add columns arithmetization param

  x-mass

  committed
  8796e9c

• Add more arithmetization params

  

  martun

  authored and

  x-mass

  committed
  fc4e13f

Commits on Feb 20, 2024

• Add expand factor option

  x-mass

  committed
  6ddb405

Commits on Mar 5, 2024

• Remove jsonizer

  x-mass

  committed
  b8a36ab

• Style adjustments

  x-mass

  committed
  c975db4

• Move columns params from templates to runtime

  x-mass

  committed
  d6d8d18

Commits on Mar 22, 2024

• Update crypto3 on the latest master

  

  akokoshn

  authored and

  akokoshn

  committed
  4ddd858

Commits on Mar 29, 2024

• JSON generation added #86

  ETatuzova

  committed
  6c92fb0

Commits on May 7, 2024

• Recursion friendly changes, submodules update (includes Poseidon refactor)

  

  ETatuzova

  authored and

  martun

  committed
  fe2e4f7

• Disable actor checks

  

  x-mass

  authored and

  martun

  committed
  ef8cd91

Commits on Jun 4, 2024

• Update crypto3, actor to pre-multiprecision-refactor state

  x-mass

  committed
  580b0a3

• Update crypto3, actor. New multiprecision. Update CI Boost to 1.83

  x-mass

  committed
  60af5f5

Commits on Jul 10, 2024

• Add nix, use it in CI

  x-mass

  committed
  f3e985d

Commits on Jul 19, 2024

• fix: erase nix-created flags for multithreaded

  x-mass

  committed
  3a45ee1

• chore: udpate crypto3 libs to latest

  x-mass

  committed
  406dcd4

Commits on Jul 25, 2024

• chore: use new zkLLVM workflow to get artifacts for CI from

  x-mass

  committed
  9928ef4

Commits on Sep 9, 2024

• Move all files into proof-producer directory

  AndreyMlashkin

  committed
  829b901

Commits on Sep 10, 2024

• Merge remote-tracking branch 'proof-producer/migration' into directly-include-proof-producer

  AndreyMlashkin

  committed
  edca7d7

• remove unneded files

  AndreyMlashkin

  committed
  f808b77

• implement flake for proof-producer

  AndreyMlashkin

  committed
  5084122

• correct transpiler cmake

  AndreyMlashkin

  committed
  0ea8e07

Commits on Sep 13, 2024

• Implement CI for proof-producer

  AndreyMlashkin

  committed
  b3b1772