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

Jump to bottom

bls verification Zkllvm compatibility #48

Draft
wants to merge 2 commits into
base: master
Choose a base branch
from
Draft

bls verification Zkllvm compatibility #48

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a773122
add zkllvm-compatible verifiaction into bls_basic_functions
CblPOK-git Dec 22, 2023
2139726
add zkllvm-compatible aggregated verifiaction into bls_basic_functions
CblPOK-git Dec 22, 2023
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
75 changes: 75 additions & 0 deletions include/nil/crypto3/pubkey/detail/bls/bls_basic_functions.hpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,13 @@
#ifndef CRYPTO3_PUBKEY_BLS_CORE_FUNCTIONS_HPP
#define CRYPTO3_PUBKEY_BLS_CORE_FUNCTIONS_HPP


#ifdef __ZKLLVM__
#include <nil/crypto3/algebra/fields/bls12/base_field.hpp>
#include <nil/crypto3/algebra/curves/bls12.hpp>
#include <nil/crypto3/algebra/algorithms/pair.hpp>
#else

#include <utility>
#include <vector>
#include <array>
Expand All @@ -44,10 +51,77 @@

#include <nil/crypto3/detail/type_traits.hpp>

#endif
namespace nil {
namespace crypto3 {
namespace pubkey {
namespace detail {
#ifdef __ZKLLVM__
namespace bls_basic_functions {
bool verify(
typename algebra::fields::bls12_base_field<381>::value_type hashed_msg,
typename algebra::curves::bls12<381>::template g2_type<>::value_type pubkey,
typename algebra::curves::bls12<381>::template g1_type<>::value_type sig
) {

typename algebra::curves::bls12<381>::template g1_type<>::value_type msg_point = __builtin_assigner_hash_to_curve(hashed_msg);

// __builtin_assigner_exit_check(__builtin_assigner_is_in_g1_check(sig));
// __builtin_assigner_exit_check(__builtin_assigner_is_in_g2_check(pubkey));

typename algebra::curves::bls12<381>::template g2_type<>::value_type g2_group_generator = algebra::curves::bls12<381>::template g2_type<>::one();

typename algebra::curves::bls12<381>::gt_type::value_type pairing1 = algebra::pair<algebra::curves::bls12<381>>(sig, g2_group_generator);
typename algebra::curves::bls12<381>::gt_type::value_type pairing2 = algebra::pair<algebra::curves::bls12<381>>(msg_point, pubkey);

bool are_equal = 0;
for (std::size_t i = 0; i < 12; i++) {
are_equal = are_equal && (pairing1[i] == pairing2[i]);
}
// __builtin_assigner_exit_check(are_equal);

return are_equal;
}


template<std::size_t validators_amount>
bool aggregate_verify(
typename algebra::fields::bls12_base_field<381>::value_type hashed_msg,
std::array<typename algebra::curves::bls12<381>::template g2_type<>::value_type, validators_amount> pubkeys,
typename algebra::curves::bls12<381>::template g1_type<>::value_type aggregated_signature
) {

// __builtin_assigner_exit_check(__builtin_assigner_is_in_g1_check(aggregated_signature));


typename algebra::curves::bls12<381>::template g2_type<>::value_type g2_group_generator = algebra::curves::bls12<381>::template g2_type<>::one();
typename algebra::curves::bls12<381>::gt_type::value_type pairing1 =
algebra::pair<algebra::curves::bls12<381>>(aggregated_signature, g2_group_generator);

typename algebra::curves::bls12<381>::template g1_type<>::value_type msg_point = __builtin_assigner_hash_to_curve(hashed_msg);

// __builtin_assigner_exit_check(__builtin_assigner_is_in_g2_check(pubkeys[0]));
typename algebra::curves::bls12<381>::gt_type::value_type pairing2 =
algebra::pair<algebra::curves::bls12<381>>(msg_point, pubkeys[0]);

typename algebra::curves::bls12<381>::gt_type::value_type current_pairing;

for (std::size_t i = 1; i < validators_amount; i++) {
// __builtin_assigner_exit_check(__builtin_assigner_is_in_g2_check(pubkeys[i]));
current_pairing = algebra::pair<algebra::curves::bls12<381>>(msg_point, pubkeys[i]);
pairing2 = __builtin_assigner_gt_multiplication(pairing2, current_pairing);
}

bool are_equal = 0;
for (std::size_t i = 0; i < 12; i++) {
are_equal = are_equal && (pairing1[i] == pairing2[i]);
}
// __builtin_assigner_exit_check(are_equal);

return are_equal;
}
}
#else
template<typename policy_type>
struct bls_basic_functions {
typedef typename policy_type::curve_type curve_type;
Expand Down Expand Up @@ -221,6 +295,7 @@ namespace nil {
return bls_serializer::point_to_octets_compress(sig);
}
};
#endif
} // namespace detail
} // namespace pubkey
} // namespace crypto3
Expand Down
Loading