Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[SyncWith:zkllvm#433]Split generate circuit and assignment #57

Merged
merged 1 commit into from
Feb 10, 2024
Merged

[SyncWith:zkllvm#433]Split generate circuit and assignment #57

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion .github/workflows/pull_request.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,6 @@ env:
polynomial_cpp_example
poseidon_cpp_example
merkle_tree_poseidon_cpp_example
strlen_cpp_example
uint_remainder_cpp
uint_shift_left
uint_bit_decomposition
Expand Down
25 changes: 9 additions & 16 deletions bin/proof-generator/include/nil/proof-generator/prover.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -147,16 +147,17 @@ namespace nil {

} // namespace detail

constexpr std::size_t WitnessColumns = 15;
constexpr std::size_t PublicInputColumns = 1;
constexpr std::size_t ComponentConstantColumns = 5;
constexpr std::size_t LookupConstantColumns = 30;
constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
constexpr std::size_t ComponentSelectorColumns = 50;
constexpr std::size_t LookupSelectorColumns = 6;
constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;

template <typename BlueprintFieldType>
bool prover(boost::filesystem::path circuit_file_name, boost::filesystem::path assignment_table_file_name, boost::filesystem::path proof_file, bool skip_verification) {
constexpr std::size_t WitnessColumns = 15;
constexpr std::size_t PublicInputColumns = 1;
constexpr std::size_t ComponentConstantColumns = 5;
constexpr std::size_t LookupConstantColumns = 30;
constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
constexpr std::size_t ComponentSelectorColumns = 30;
constexpr std::size_t LookupSelectorColumns = 6;
constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;

using ArithmetizationParams =
NAMESPACE::zk::snark::plonk_arithmetization_params<WitnessColumns, PublicInputColumns, ConstantColumns,
Expand Down Expand Up @@ -322,14 +323,6 @@ namespace nil {

template <typename BlueprintFieldType>
bool verify(boost::filesystem::path circuit_file_name, boost::filesystem::path assignment_table_file_name, boost::filesystem::path proof_file, bool skip_verification) {
constexpr std::size_t WitnessColumns = 15;
constexpr std::size_t PublicInputColumns = 1;
constexpr std::size_t ComponentConstantColumns = 5;
constexpr std::size_t LookupConstantColumns = 30;
constexpr std::size_t ConstantColumns = ComponentConstantColumns + LookupConstantColumns;
constexpr std::size_t ComponentSelectorColumns = 30;
constexpr std::size_t LookupSelectorColumns = 6;
constexpr std::size_t SelectorColumns = ComponentSelectorColumns + LookupSelectorColumns;

using ArithmetizationParams =
NAMESPACE::zk::snark::plonk_arithmetization_params<WitnessColumns, PublicInputColumns, ConstantColumns,
Expand Down
Loading