grpc 1.69.0 → 1.70.1
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.
- checksums.yaml +4 -4
- data/Makefile +251 -249
- data/include/grpc/support/atm.h +0 -13
- data/src/core/call/request_buffer.cc +224 -0
- data/src/core/call/request_buffer.h +192 -0
- data/src/core/client_channel/client_channel.cc +2 -3
- data/src/core/client_channel/client_channel_args.h +21 -0
- data/src/core/client_channel/client_channel_filter.h +1 -3
- data/src/core/client_channel/retry_interceptor.cc +406 -0
- data/src/core/client_channel/retry_interceptor.h +157 -0
- data/src/core/client_channel/retry_service_config.h +13 -0
- data/src/core/client_channel/retry_throttle.cc +33 -18
- data/src/core/client_channel/retry_throttle.h +3 -3
- data/src/core/ext/transport/chttp2/server/chttp2_server.cc +596 -94
- data/src/core/ext/transport/chttp2/server/chttp2_server.h +189 -13
- data/src/core/ext/transport/chttp2/transport/chttp2_transport.cc +1 -0
- data/src/core/ext/transport/chttp2/transport/frame_security.cc +1 -3
- data/src/core/ext/transport/chttp2/transport/stream_lists.cc +40 -1
- data/src/core/ext/upb-gen/envoy/admin/v3/config_dump_shared.upb.h +3 -1
- data/src/core/ext/upb-gen/envoy/config/cluster/v3/cluster.upb.h +66 -36
- data/src/core/ext/upb-gen/envoy/config/cluster/v3/cluster.upb_minitable.c +19 -17
- data/src/core/ext/upb-gen/envoy/config/core/v3/base.upb.h +116 -0
- data/src/core/ext/upb-gen/envoy/config/core/v3/base.upb_minitable.c +31 -5
- data/src/core/ext/upb-gen/envoy/config/core/v3/base.upb_minitable.h +2 -0
- data/src/core/ext/upb-gen/envoy/config/core/v3/protocol.upb.h +67 -6
- data/src/core/ext/upb-gen/envoy/config/core/v3/protocol.upb_minitable.c +12 -8
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_cmsg_headers.upb.h +151 -0
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_cmsg_headers.upb_minitable.c +60 -0
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_cmsg_headers.upb_minitable.h +32 -0
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_option.upb.h +228 -21
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_option.upb_minitable.c +65 -17
- data/src/core/ext/upb-gen/envoy/config/core/v3/socket_option.upb_minitable.h +6 -0
- data/src/core/ext/upb-gen/envoy/config/listener/v3/listener_components.upb.h +7 -106
- data/src/core/ext/upb-gen/envoy/config/listener/v3/listener_components.upb_minitable.c +7 -28
- data/src/core/ext/upb-gen/envoy/config/listener/v3/listener_components.upb_minitable.h +0 -2
- data/src/core/ext/upb-gen/envoy/config/listener/v3/quic_config.upb.h +85 -0
- data/src/core/ext/upb-gen/envoy/config/listener/v3/quic_config.upb_minitable.c +25 -3
- data/src/core/ext/upb-gen/envoy/config/overload/v3/overload.upb.h +2 -1
- data/src/core/ext/upb-gen/envoy/config/rbac/v3/rbac.upb.h +152 -0
- data/src/core/ext/upb-gen/envoy/config/rbac/v3/rbac.upb_minitable.c +40 -10
- data/src/core/ext/upb-gen/envoy/config/rbac/v3/rbac.upb_minitable.h +2 -0
- data/src/core/ext/upb-gen/envoy/config/route/v3/route_components.upb.h +135 -4
- data/src/core/ext/upb-gen/envoy/config/route/v3/route_components.upb_minitable.c +41 -9
- data/src/core/ext/upb-gen/envoy/config/route/v3/route_components.upb_minitable.h +2 -0
- data/src/core/ext/upb-gen/envoy/config/trace/v3/trace.upb.h +0 -2
- data/src/core/ext/upb-gen/envoy/config/trace/v3/trace.upb_minitable.c +0 -1
- data/src/core/ext/upb-gen/envoy/config/trace/v3/trace.upb_minitable.h +0 -1
- data/src/core/ext/upb-gen/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb.h +16 -0
- data/src/core/ext/upb-gen/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upb_minitable.c +3 -2
- data/src/core/ext/upb-gen/envoy/extensions/load_balancing_policies/client_side_weighted_round_robin/v3/client_side_weighted_round_robin.upb.h +60 -0
- data/src/core/ext/upb-gen/envoy/extensions/load_balancing_policies/client_side_weighted_round_robin/v3/client_side_weighted_round_robin.upb_minitable.c +13 -2
- data/src/core/ext/upb-gen/envoy/extensions/transport_sockets/http_11_proxy/v3/upstream_http_11_connect.upb.h +0 -1
- data/src/core/ext/upb-gen/envoy/extensions/transport_sockets/http_11_proxy/v3/upstream_http_11_connect.upb_minitable.c +0 -1
- data/src/core/ext/upb-gen/envoy/extensions/transport_sockets/tls/v3/tls.upb.h +102 -24
- data/src/core/ext/upb-gen/envoy/extensions/transport_sockets/tls/v3/tls.upb_minitable.c +28 -19
- data/src/core/ext/upb-gen/envoy/service/discovery/v3/discovery.upb.h +251 -18
- data/src/core/ext/upb-gen/envoy/service/discovery/v3/discovery.upb_minitable.c +41 -16
- data/src/core/ext/upb-gen/envoy/service/discovery/v3/discovery.upb_minitable.h +2 -0
- data/src/core/ext/upb-gen/envoy/service/status/v3/csds.upb.h +2 -1
- data/src/core/ext/upbdefs-gen/envoy/admin/v3/config_dump_shared.upbdefs.c +11 -10
- data/src/core/ext/upbdefs-gen/envoy/config/cluster/v3/cluster.upbdefs.c +418 -413
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/base.upbdefs.c +161 -153
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/base.upbdefs.h +5 -0
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/protocol.upbdefs.c +267 -261
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/socket_cmsg_headers.upbdefs.c +46 -0
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/socket_cmsg_headers.upbdefs.h +33 -0
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/socket_option.upbdefs.c +29 -19
- data/src/core/ext/upbdefs-gen/envoy/config/core/v3/socket_option.upbdefs.h +15 -0
- data/src/core/ext/upbdefs-gen/envoy/config/listener/v3/listener_components.upbdefs.c +58 -65
- data/src/core/ext/upbdefs-gen/envoy/config/listener/v3/listener_components.upbdefs.h +0 -5
- data/src/core/ext/upbdefs-gen/envoy/config/listener/v3/quic_config.upbdefs.c +73 -63
- data/src/core/ext/upbdefs-gen/envoy/config/overload/v3/overload.upbdefs.c +49 -48
- data/src/core/ext/upbdefs-gen/envoy/config/rbac/v3/rbac.upbdefs.c +117 -100
- data/src/core/ext/upbdefs-gen/envoy/config/rbac/v3/rbac.upbdefs.h +5 -0
- data/src/core/ext/upbdefs-gen/envoy/config/route/v3/route_components.upbdefs.c +905 -897
- data/src/core/ext/upbdefs-gen/envoy/config/route/v3/route_components.upbdefs.h +5 -0
- data/src/core/ext/upbdefs-gen/envoy/config/trace/v3/trace.upbdefs.c +15 -18
- data/src/core/ext/upbdefs-gen/envoy/extensions/filters/network/http_connection_manager/v3/http_connection_manager.upbdefs.c +460 -457
- data/src/core/ext/upbdefs-gen/envoy/extensions/transport_sockets/http_11_proxy/v3/upstream_http_11_connect.upbdefs.c +16 -19
- data/src/core/ext/upbdefs-gen/envoy/extensions/transport_sockets/tls/v3/common.upbdefs.c +95 -95
- data/src/core/ext/upbdefs-gen/envoy/extensions/transport_sockets/tls/v3/tls.upbdefs.c +202 -191
- data/src/core/ext/upbdefs-gen/envoy/service/discovery/v3/discovery.upbdefs.c +148 -135
- data/src/core/ext/upbdefs-gen/envoy/service/discovery/v3/discovery.upbdefs.h +5 -0
- data/src/core/ext/upbdefs-gen/envoy/service/status/v3/csds.upbdefs.c +23 -22
- data/src/core/filter/filter_args.h +112 -0
- data/src/core/handshaker/http_connect/http_connect_handshaker.cc +1 -1
- data/src/core/lib/channel/promise_based_filter.h +5 -79
- data/src/core/lib/debug/trace_flags.cc +2 -0
- data/src/core/lib/debug/trace_flags.h +1 -0
- data/src/core/lib/event_engine/posix_engine/posix_endpoint.cc +14 -0
- data/src/core/lib/event_engine/posix_engine/posix_engine.cc +7 -2
- data/src/core/lib/event_engine/posix_engine/posix_engine.h +0 -2
- data/src/core/lib/event_engine/windows/windows_engine.cc +1 -0
- data/src/core/lib/experiments/experiments.cc +90 -39
- data/src/core/lib/experiments/experiments.h +43 -24
- data/src/core/lib/iomgr/event_engine_shims/endpoint.cc +1 -1
- data/src/core/lib/promise/activity.cc +2 -0
- data/src/core/lib/promise/activity.h +29 -8
- data/src/core/lib/promise/map.h +42 -0
- data/src/core/lib/promise/party.cc +36 -1
- data/src/core/lib/promise/party.h +13 -5
- data/src/core/lib/promise/sleep.h +1 -0
- data/src/core/lib/promise/status_flag.h +10 -0
- data/src/core/lib/resource_quota/arena.h +8 -0
- data/src/core/lib/resource_quota/connection_quota.h +4 -0
- data/src/core/lib/surface/call_utils.h +2 -0
- data/src/core/lib/surface/client_call.cc +43 -35
- data/src/core/lib/surface/client_call.h +5 -0
- data/src/core/lib/surface/event_string.cc +7 -1
- data/src/core/lib/surface/init_internally.h +13 -2
- data/src/core/lib/surface/server_call.cc +100 -85
- data/src/core/lib/surface/version.cc +2 -2
- data/src/core/lib/transport/call_filters.cc +10 -4
- data/src/core/lib/transport/call_filters.h +8 -0
- data/src/core/lib/transport/call_spine.cc +36 -71
- data/src/core/lib/transport/call_spine.h +131 -7
- data/src/core/lib/transport/call_state.h +132 -39
- data/src/core/lib/transport/interception_chain.cc +8 -0
- data/src/core/lib/transport/interception_chain.h +9 -0
- data/src/core/load_balancing/endpoint_list.cc +10 -0
- data/src/core/load_balancing/endpoint_list.h +13 -6
- data/src/core/load_balancing/lb_policy.h +0 -8
- data/src/core/load_balancing/pick_first/pick_first.cc +89 -56
- data/src/core/load_balancing/ring_hash/ring_hash.cc +158 -70
- data/src/core/load_balancing/ring_hash/ring_hash.h +4 -11
- data/src/core/load_balancing/round_robin/round_robin.cc +9 -14
- data/src/core/load_balancing/weighted_round_robin/weighted_round_robin.cc +12 -15
- data/src/core/resolver/dns/c_ares/dns_resolver_ares.cc +4 -4
- data/src/core/resolver/xds/xds_dependency_manager.cc +139 -135
- data/src/core/resolver/xds/xds_dependency_manager.h +24 -18
- data/src/core/resolver/xds/xds_resolver.cc +28 -47
- data/src/core/server/server.cc +290 -24
- data/src/core/server/server.h +199 -61
- data/src/core/server/xds_server_config_fetcher.cc +78 -142
- data/src/core/tsi/alts/handshaker/alts_handshaker_client.cc +1 -1
- data/src/core/util/backoff.cc +15 -4
- data/src/core/util/http_client/httpcli.cc +66 -18
- data/src/core/util/http_client/httpcli.h +14 -4
- data/src/core/util/matchers.h +5 -10
- data/src/core/util/ref_counted.h +1 -0
- data/src/core/util/ref_counted_ptr.h +1 -1
- data/src/core/util/useful.h +9 -11
- data/src/core/xds/grpc/xds_endpoint_parser.cc +54 -23
- data/src/core/xds/grpc/xds_metadata.h +8 -0
- data/src/core/xds/xds_client/xds_api.cc +0 -223
- data/src/core/xds/xds_client/xds_api.h +1 -133
- data/src/core/xds/xds_client/xds_client.cc +599 -466
- data/src/core/xds/xds_client/xds_client.h +107 -26
- data/src/core/xds/xds_client/xds_resource_type_impl.h +10 -5
- data/src/ruby/ext/grpc/extconf.rb +1 -0
- data/src/ruby/lib/grpc/version.rb +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_bitstr.c → a_bitstr.cc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_d2i_fp.c → a_d2i_fp.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_dup.c → a_dup.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_i2d_fp.c → a_i2d_fp.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_int.c → a_int.cc} +2 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_mbstr.c → a_mbstr.cc} +9 -7
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_object.c → a_object.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_strnid.c → a_strnid.cc} +7 -4
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_type.c → a_type.cc} +4 -4
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{asn1_lib.c → asn1_lib.cc} +4 -4
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{asn_pack.c → asn_pack.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{posix_time.c → posix_time.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_dec.c → tasn_dec.cc} +4 -3
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_enc.c → tasn_enc.cc} +9 -6
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_fre.c → tasn_fre.cc} +14 -20
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_new.c → tasn_new.cc} +7 -6
- data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_utl.c → tasn_utl.cc} +13 -10
- data/third_party/boringssl-with-bazel/src/crypto/base64/{base64.c → base64.cc} +9 -12
- data/third_party/boringssl-with-bazel/src/crypto/bcm_support.h +7 -1
- data/third_party/boringssl-with-bazel/src/crypto/bio/{bio.c → bio.cc} +32 -58
- data/third_party/boringssl-with-bazel/src/crypto/bio/{bio_mem.c → bio_mem.cc} +8 -7
- data/third_party/boringssl-with-bazel/src/crypto/bio/{connect.c → connect.cc} +24 -16
- data/third_party/boringssl-with-bazel/src/crypto/bio/{file.c → file.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/bio/{pair.c → pair.cc} +22 -20
- data/third_party/boringssl-with-bazel/src/crypto/bio/{printf.c → printf.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/bio/{socket_helper.c → socket_helper.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/blake2/{blake2.c → blake2.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/bn_extra/{bn_asn1.c → bn_asn1.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/bn_extra/{convert.c → convert.cc} +21 -21
- data/third_party/boringssl-with-bazel/src/crypto/buf/{buf.c → buf.cc} +6 -3
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/{asn1_compat.c → asn1_compat.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/{ber.c → ber.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/{cbb.c → cbb.cc} +33 -49
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/{cbs.c → cbs.cc} +20 -27
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/bytestring/{unicode.c → unicode.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/chacha/{chacha.c → chacha.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/chacha/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_aesctrhmac.c → e_aesctrhmac.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_aesgcmsiv.c → e_aesgcmsiv.cc} +23 -26
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_chacha20poly1305.c → e_chacha20poly1305.cc} +1 -8
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_des.c → e_des.cc} +61 -49
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_null.c → e_null.cc} +12 -9
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_rc2.c → e_rc2.cc} +23 -19
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_rc4.c → e_rc4.cc} +10 -8
- data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{e_tls.c → e_tls.cc} +2 -1
- data/third_party/boringssl-with-bazel/src/crypto/conf/{conf.c → conf.cc} +17 -14
- data/third_party/boringssl-with-bazel/src/crypto/conf/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_apple.c → cpu_aarch64_apple.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_fuchsia.c → cpu_aarch64_fuchsia.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_linux.c → cpu_aarch64_linux.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_openbsd.c → cpu_aarch64_openbsd.cc} +4 -4
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_sysreg.c → cpu_aarch64_sysreg.cc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_aarch64_win.c → cpu_aarch64_win.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_arm_freebsd.c → cpu_arm_freebsd.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_arm_linux.c → cpu_arm_linux.cc} +5 -5
- data/third_party/boringssl-with-bazel/src/crypto/cpu_arm_linux.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/{cpu_intel.c → cpu_intel.cc} +47 -32
- data/third_party/boringssl-with-bazel/src/crypto/{crypto.c → crypto.cc} +6 -11
- data/third_party/boringssl-with-bazel/src/crypto/curve25519/{curve25519.c → curve25519.cc} +28 -31
- data/third_party/boringssl-with-bazel/src/crypto/curve25519/{curve25519_64_adx.c → curve25519_64_adx.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/curve25519/curve25519_tables.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/curve25519/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/curve25519/{spake25519.c → spake25519.cc} +20 -16
- data/third_party/boringssl-with-bazel/src/crypto/dh_extra/{dh_asn1.c → dh_asn1.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/digest_extra/{digest_extra.c → digest_extra.cc} +113 -31
- data/third_party/boringssl-with-bazel/src/crypto/dsa/{dsa.c → dsa.cc} +153 -154
- data/third_party/boringssl-with-bazel/src/crypto/dsa/{dsa_asn1.c → dsa_asn1.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/dsa/internal.h +1 -3
- data/third_party/boringssl-with-bazel/src/crypto/ec_extra/{ec_asn1.c → ec_asn1.cc} +35 -0
- data/third_party/boringssl-with-bazel/src/crypto/ec_extra/{ec_derive.c → ec_derive.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/ec_extra/{hash_to_curve.c → hash_to_curve.cc} +66 -64
- data/third_party/boringssl-with-bazel/src/crypto/ec_extra/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/ecdsa_extra/{ecdsa_asn1.c → ecdsa_asn1.cc} +15 -25
- data/third_party/boringssl-with-bazel/src/crypto/engine/{engine.c → engine.cc} +12 -8
- data/third_party/boringssl-with-bazel/src/crypto/err/{err.c → err.cc} +24 -27
- data/third_party/boringssl-with-bazel/src/crypto/err/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/evp/{evp.c → evp.cc} +8 -9
- data/third_party/boringssl-with-bazel/src/crypto/evp/{evp_ctx.c → evp_ctx.cc} +7 -8
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_dh.c → p_dh.cc} +23 -14
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_dh_asn1.c → p_dh_asn1.cc} +38 -21
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_dsa_asn1.c → p_dsa_asn1.cc} +19 -24
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_ec.c → p_ec.cc} +20 -23
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_ec_asn1.c → p_ec_asn1.cc} +20 -20
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_ed25519.c → p_ed25519.cc} +22 -19
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_ed25519_asn1.c → p_ed25519_asn1.cc} +14 -13
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_hkdf.c → p_hkdf.cc} +18 -14
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_rsa.c → p_rsa.cc} +38 -37
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_rsa_asn1.c → p_rsa_asn1.cc} +16 -18
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_x25519.c → p_x25519.cc} +22 -19
- data/third_party/boringssl-with-bazel/src/crypto/evp/{p_x25519_asn1.c → p_x25519_asn1.cc} +18 -17
- data/third_party/boringssl-with-bazel/src/crypto/evp/{pbkdf.c → pbkdf.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/evp/{print.c → print.cc} +4 -5
- data/third_party/boringssl-with-bazel/src/crypto/evp/{scrypt.c → scrypt.cc} +7 -5
- data/third_party/boringssl-with-bazel/src/crypto/{ex_data.c → ex_data.cc} +3 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/{aes_nohw.c.inc → aes_nohw.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/internal.h +1 -5
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/{key_wrap.c.inc → key_wrap.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/{bcm.c → bcm.cc} +96 -101
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bcm_interface.h +165 -12
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{add.c.inc → add.cc.inc} +1 -0
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/asm/{x86_64-gcc.c.inc → x86_64-gcc.cc.inc} +4 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{bn.c.inc → bn.cc.inc} +12 -24
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{ctx.c.inc → ctx.cc.inc} +5 -7
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{div.c.inc → div.cc.inc} +29 -38
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{div_extra.c.inc → div_extra.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{exponentiation.c.inc → exponentiation.cc.inc} +22 -22
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{gcd.c.inc → gcd.cc.inc} +3 -6
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{gcd_extra.c.inc → gcd_extra.cc.inc} +33 -25
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{montgomery.c.inc → montgomery.cc.inc} +10 -17
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{mul.c.inc → mul.cc.inc} +11 -15
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{prime.c.inc → prime.cc.inc} +31 -34
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{shift.c.inc → shift.cc.inc} +3 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/cipher/{aead.c.inc → aead.cc.inc} +18 -10
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/cipher/{cipher.c.inc → cipher.cc.inc} +6 -9
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/cipher/{e_aes.c.inc → e_aes.cc.inc} +46 -54
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/cmac/{cmac.c.inc → cmac.cc.inc} +6 -6
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/delocate.h +14 -10
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/dh/{dh.c.inc → dh.cc.inc} +15 -19
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/dh/internal.h +1 -3
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/digest/{digest.c.inc → digest.cc.inc} +17 -13
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/digest/{digests.c.inc → digests.cc.inc} +29 -113
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/digestsign/{digestsign.c.inc → digestsign.cc.inc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/builtin_curves.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{ec.c.inc → ec.cc.inc} +10 -15
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{ec_key.c.inc → ec_key.cc.inc} +12 -14
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{felem.c.inc → felem.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{oct.c.inc → oct.cc.inc} +5 -6
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{p224-64.c.inc → p224-64.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/p256-nistz-table.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{p256-nistz.c.inc → p256-nistz.cc.inc} +15 -13
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{p256.c.inc → p256.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/p256_table.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{scalar.c.inc → scalar.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{simple_mul.c.inc → simple_mul.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{util.c.inc → util.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{wnaf.c.inc → wnaf.cc.inc} +24 -15
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ecdh/{ecdh.c.inc → ecdh.cc.inc} +14 -5
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ecdsa/{ecdsa.c.inc → ecdsa.cc.inc} +6 -7
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ecdsa/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/{fips_shared_support.c → fips_shared_support.cc} +2 -3
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/hkdf/{hkdf.c.inc → hkdf.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/hmac/{hmac.c.inc → hmac.cc.inc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{gcm.c.inc → gcm.cc.inc} +69 -21
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{gcm_nohw.c.inc → gcm_nohw.cc.inc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/internal.h +53 -33
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{polyval.c.inc → polyval.cc.inc} +2 -3
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rand/{ctrdrbg.c.inc → ctrdrbg.cc.inc} +5 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rand/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rand/{rand.c.inc → rand.cc.inc} +20 -18
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/{blinding.c.inc → blinding.cc.inc} +5 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/{padding.c.inc → padding.cc.inc} +21 -21
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/{rsa.c.inc → rsa.cc.inc} +77 -73
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/rsa/{rsa_impl.c.inc → rsa_impl.cc.inc} +50 -53
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/self_check/{fips.c.inc → fips.cc.inc} +14 -6
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/self_check/{self_check.c.inc → self_check.cc.inc} +56 -52
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/service_indicator/{service_indicator.c.inc → service_indicator.cc.inc} +10 -11
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/sha/internal.h +2 -4
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/sha/{sha1.c.inc → sha1.cc.inc} +26 -33
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/sha/{sha256.c.inc → sha256.cc.inc} +37 -55
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/sha/{sha512.c.inc → sha512.cc.inc} +48 -76
- data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/tls/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/hpke/{hpke.c → hpke.cc} +7 -4
- data/third_party/boringssl-with-bazel/src/crypto/hrss/{hrss.c → hrss.cc} +53 -110
- data/third_party/boringssl-with-bazel/src/crypto/hrss/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/internal.h +191 -248
- data/third_party/boringssl-with-bazel/src/crypto/keccak/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/keccak/{keccak.c → keccak.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/kyber/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/kyber/{kyber.c → kyber.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/lhash/{lhash.c → lhash.cc} +8 -7
- data/third_party/boringssl-with-bazel/src/crypto/{fipsmodule/md4/md4.c.inc → md4/md4.cc} +8 -12
- data/third_party/boringssl-with-bazel/src/crypto/{fipsmodule/md5 → md5}/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/{fipsmodule/md5/md5.c.inc → md5/md5.cc} +4 -3
- data/third_party/boringssl-with-bazel/src/crypto/{mem.c → mem.cc} +34 -22
- data/third_party/boringssl-with-bazel/src/crypto/mldsa/internal.h +4 -1
- data/third_party/boringssl-with-bazel/src/crypto/mldsa/{mldsa.c → mldsa.cc} +646 -543
- data/third_party/boringssl-with-bazel/src/crypto/mlkem/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/mlkem/mlkem.cc +8 -8
- data/third_party/boringssl-with-bazel/src/crypto/obj/{obj.c → obj.cc} +27 -30
- data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_info.c → pem_info.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_lib.c → pem_lib.cc} +3 -4
- data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_oth.c → pem_oth.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/pkcs7/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/pkcs7/{pkcs7.c → pkcs7.cc} +5 -5
- data/third_party/boringssl-with-bazel/src/crypto/pkcs7/{pkcs7_x509.c → pkcs7_x509.cc} +26 -25
- data/third_party/boringssl-with-bazel/src/crypto/pkcs8/internal.h +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/pkcs8/{p5_pbev2.c → p5_pbev2.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/pkcs8/{pkcs8.c → pkcs8.cc} +159 -158
- data/third_party/boringssl-with-bazel/src/crypto/pkcs8/{pkcs8_x509.c → pkcs8_x509.cc} +90 -97
- data/third_party/boringssl-with-bazel/src/crypto/poly1305/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/poly1305/{poly1305.c → poly1305.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/poly1305/{poly1305_arm.c → poly1305_arm.cc} +4 -2
- data/third_party/boringssl-with-bazel/src/crypto/poly1305/{poly1305_vec.c → poly1305_vec.cc} +14 -11
- data/third_party/boringssl-with-bazel/src/crypto/pool/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/pool/{pool.c → pool.cc} +12 -11
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{deterministic.c → deterministic.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{fork_detect.c → fork_detect.cc} +11 -12
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{forkunsafe.c → forkunsafe.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{getentropy.c → getentropy.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/getrandom_fillin.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{ios.c → ios.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{passive.c → passive.cc} +22 -18
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{rand_extra.c → rand_extra.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/sysrand_internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{trusty.c → trusty.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{urandom.c → urandom.cc} +7 -7
- data/third_party/boringssl-with-bazel/src/crypto/rand_extra/{windows.c → windows.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/{refcount.c → refcount.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/rsa_extra/{rsa_asn1.c → rsa_asn1.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/rsa_extra/{rsa_crypt.c → rsa_crypt.cc} +81 -78
- data/third_party/boringssl-with-bazel/src/crypto/rsa_extra/rsa_extra.cc +17 -0
- data/third_party/boringssl-with-bazel/src/crypto/sha/sha1.cc +52 -0
- data/third_party/boringssl-with-bazel/src/crypto/sha/sha256.cc +87 -0
- data/third_party/boringssl-with-bazel/src/crypto/sha/sha512.cc +104 -0
- data/third_party/boringssl-with-bazel/src/crypto/siphash/{siphash.c → siphash.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/address.h +123 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/fors.cc +169 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/fors.h +58 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/internal.h +63 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/merkle.cc +161 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/merkle.h +70 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/params.h +83 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/slhdsa.cc +307 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/thash.cc +173 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/thash.h +85 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/wots.cc +171 -0
- data/third_party/boringssl-with-bazel/src/crypto/slhdsa/wots.h +50 -0
- data/third_party/boringssl-with-bazel/src/crypto/stack/{stack.c → stack.cc} +10 -6
- data/third_party/boringssl-with-bazel/src/crypto/{thread_none.c → thread_none.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/{thread_pthread.c → thread_pthread.cc} +9 -8
- data/third_party/boringssl-with-bazel/src/crypto/{thread_win.c → thread_win.cc} +21 -17
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/internal.h +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/{pmbtoken.c → pmbtoken.cc} +146 -158
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/{trust_token.c → trust_token.cc} +19 -21
- data/third_party/boringssl-with-bazel/src/crypto/trust_token/{voprf.c → voprf.cc} +165 -169
- data/third_party/boringssl-with-bazel/src/crypto/x509/{a_digest.c → a_digest.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{a_sign.c → a_sign.cc} +37 -34
- data/third_party/boringssl-with-bazel/src/crypto/x509/{a_verify.c → a_verify.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{algorithm.c → algorithm.cc} +1 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{asn1_gen.c → asn1_gen.cc} +5 -6
- data/third_party/boringssl-with-bazel/src/crypto/x509/{by_dir.c → by_dir.cc} +7 -6
- data/third_party/boringssl-with-bazel/src/crypto/x509/{policy.c → policy.cc} +188 -178
- data/third_party/boringssl-with-bazel/src/crypto/x509/{rsa_pss.c → rsa_pss.cc} +48 -44
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_akey.c → v3_akey.cc} +4 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_alt.c → v3_alt.cc} +5 -5
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_bcons.c → v3_bcons.cc} +3 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_bitst.c → v3_bitst.cc} +6 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_conf.c → v3_conf.cc} +5 -5
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_cpols.c → v3_cpols.cc} +47 -41
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_crld.c → v3_crld.cc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_enum.c → v3_enum.cc} +5 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_extku.c → v3_extku.cc} +3 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_genn.c → v3_genn.cc} +7 -7
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_ia5.c → v3_ia5.cc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_info.c → v3_info.cc} +4 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_int.c → v3_int.cc} +3 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_lib.c → v3_lib.cc} +9 -6
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_ncons.c → v3_ncons.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_ocsp.c → v3_ocsp.cc} +4 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_pcons.c → v3_pcons.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_pmaps.c → v3_pmaps.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_prn.c → v3_prn.cc} +2 -1
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_purp.c → v3_purp.cc} +16 -8
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_skey.c → v3_skey.cc} +6 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_utl.c → v3_utl.cc} +15 -10
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_att.c → x509_att.cc} +3 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_lu.c → x509_lu.cc} +6 -5
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_v3.c → x509_v3.cc} +2 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_vfy.c → x509_vfy.cc} +216 -212
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_vpm.c → x509_vpm.cc} +55 -13
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x509spki.c → x509spki.cc} +3 -3
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_all.c → x_all.cc} +10 -6
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_crl.c → x_crl.cc} +6 -6
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_name.c → x_name.cc} +39 -32
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_pubkey.c → x_pubkey.cc} +4 -2
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_x509.c → x_x509.cc} +48 -44
- data/third_party/boringssl-with-bazel/src/crypto/x509/{x_x509a.c → x_x509a.cc} +4 -2
- data/third_party/boringssl-with-bazel/src/gen/crypto/{err_data.c → err_data.cc} +359 -358
- data/third_party/boringssl-with-bazel/src/include/openssl/aead.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/asm_base.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/asn1_mac.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/asn1t.h +237 -275
- data/third_party/boringssl-with-bazel/src/include/openssl/base.h +12 -5
- data/third_party/boringssl-with-bazel/src/include/openssl/bcm_public.h +82 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/blake2.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/buffer.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/bytestring.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/chacha.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/cmac.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/cpu.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/crypto.h +13 -2
- data/third_party/boringssl-with-bazel/src/include/openssl/ctrdrbg.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/curve25519.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/dh.h +4 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/digest.h +6 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/dsa.h +4 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/dtls1.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/e_os2.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/ec_key.h +17 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/engine.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/evp.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/experimental/kyber.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/hkdf.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/hpke.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/hrss.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/is_boringssl.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/kdf.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/mldsa.h +8 -8
- data/third_party/boringssl-with-bazel/src/include/openssl/mlkem.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/obj_mac.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/objects.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/opensslconf.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/opensslv.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/ossl_typ.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/pkcs12.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/pkcs7.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/pkcs8.h +2 -2
- data/third_party/boringssl-with-bazel/src/include/openssl/poly1305.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/pool.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/posix_time.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/rand.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/rsa.h +10 -5
- data/third_party/boringssl-with-bazel/src/include/openssl/safestack.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/sha.h +2 -40
- data/third_party/boringssl-with-bazel/src/include/openssl/siphash.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/slhdsa.h +133 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/span.h +6 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/srtp.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/ssl.h +160 -116
- data/third_party/boringssl-with-bazel/src/include/openssl/ssl3.h +1 -0
- data/third_party/boringssl-with-bazel/src/include/openssl/target.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/thread.h +2 -2
- data/third_party/boringssl-with-bazel/src/include/openssl/time.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/trust_token.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/x509_vfy.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/x509v3.h +1 -1
- data/third_party/boringssl-with-bazel/src/include/openssl/x509v3_errors.h +2 -2
- data/third_party/boringssl-with-bazel/src/ssl/bio_ssl.cc +2 -6
- data/third_party/boringssl-with-bazel/src/ssl/d1_both.cc +667 -322
- data/third_party/boringssl-with-bazel/src/ssl/d1_lib.cc +116 -119
- data/third_party/boringssl-with-bazel/src/ssl/d1_pkt.cc +163 -21
- data/third_party/boringssl-with-bazel/src/ssl/d1_srtp.cc +4 -12
- data/third_party/boringssl-with-bazel/src/ssl/dtls_method.cc +94 -49
- data/third_party/boringssl-with-bazel/src/ssl/dtls_record.cc +296 -198
- data/third_party/boringssl-with-bazel/src/ssl/encrypted_client_hello.cc +23 -14
- data/third_party/boringssl-with-bazel/src/ssl/extensions.cc +363 -343
- data/third_party/boringssl-with-bazel/src/ssl/handoff.cc +48 -58
- data/third_party/boringssl-with-bazel/src/ssl/handshake.cc +44 -36
- data/third_party/boringssl-with-bazel/src/ssl/handshake_client.cc +145 -159
- data/third_party/boringssl-with-bazel/src/ssl/handshake_server.cc +65 -58
- data/third_party/boringssl-with-bazel/src/ssl/internal.h +910 -356
- data/third_party/boringssl-with-bazel/src/ssl/s3_both.cc +29 -41
- data/third_party/boringssl-with-bazel/src/ssl/s3_lib.cc +13 -11
- data/third_party/boringssl-with-bazel/src/ssl/s3_pkt.cc +2 -2
- data/third_party/boringssl-with-bazel/src/ssl/ssl_aead_ctx.cc +90 -183
- data/third_party/boringssl-with-bazel/src/ssl/ssl_asn1.cc +38 -64
- data/third_party/boringssl-with-bazel/src/ssl/ssl_buffer.cc +1 -1
- data/third_party/boringssl-with-bazel/src/ssl/ssl_cert.cc +103 -44
- data/third_party/boringssl-with-bazel/src/ssl/ssl_cipher.cc +210 -220
- data/third_party/boringssl-with-bazel/src/ssl/ssl_credential.cc +70 -12
- data/third_party/boringssl-with-bazel/src/ssl/ssl_key_share.cc +20 -17
- data/third_party/boringssl-with-bazel/src/ssl/ssl_lib.cc +146 -169
- data/third_party/boringssl-with-bazel/src/ssl/ssl_privkey.cc +15 -16
- data/third_party/boringssl-with-bazel/src/ssl/ssl_session.cc +79 -95
- data/third_party/boringssl-with-bazel/src/ssl/ssl_stat.cc +3 -9
- data/third_party/boringssl-with-bazel/src/ssl/ssl_transcript.cc +91 -16
- data/third_party/boringssl-with-bazel/src/ssl/ssl_versions.cc +30 -16
- data/third_party/boringssl-with-bazel/src/ssl/ssl_x509.cc +51 -56
- data/third_party/boringssl-with-bazel/src/ssl/t1_enc.cc +22 -25
- data/third_party/boringssl-with-bazel/src/ssl/tls13_both.cc +43 -27
- data/third_party/boringssl-with-bazel/src/ssl/tls13_client.cc +63 -59
- data/third_party/boringssl-with-bazel/src/ssl/tls13_enc.cc +204 -121
- data/third_party/boringssl-with-bazel/src/ssl/tls13_server.cc +86 -59
- data/third_party/boringssl-with-bazel/src/ssl/tls_method.cc +51 -62
- data/third_party/boringssl-with-bazel/src/ssl/tls_record.cc +37 -25
- data/third_party/boringssl-with-bazel/src/third_party/fiat/curve25519_32.h +6 -0
- data/third_party/boringssl-with-bazel/src/third_party/fiat/curve25519_64.h +6 -0
- data/third_party/boringssl-with-bazel/src/third_party/fiat/curve25519_64_adx.h +4 -1
- data/third_party/boringssl-with-bazel/src/third_party/fiat/p256_32.h +1 -1
- data/third_party/boringssl-with-bazel/src/third_party/fiat/p256_64.h +3 -0
- metadata +339 -339
- data/src/core/ext/upb-gen/envoy/config/trace/v3/opencensus.upb.h +0 -426
- data/src/core/ext/upb-gen/envoy/config/trace/v3/opencensus.upb_minitable.c +0 -87
- data/src/core/ext/upb-gen/envoy/config/trace/v3/opencensus.upb_minitable.h +0 -32
- data/src/core/ext/upb-gen/opencensus/proto/trace/v1/trace_config.upb.h +0 -408
- data/src/core/ext/upb-gen/opencensus/proto/trace/v1/trace_config.upb_minitable.c +0 -124
- data/src/core/ext/upb-gen/opencensus/proto/trace/v1/trace_config.upb_minitable.h +0 -38
- data/src/core/ext/upbdefs-gen/envoy/config/trace/v3/opencensus.upbdefs.c +0 -108
- data/src/core/ext/upbdefs-gen/envoy/config/trace/v3/opencensus.upbdefs.h +0 -33
- data/src/core/ext/upbdefs-gen/opencensus/proto/trace/v1/trace_config.upbdefs.c +0 -67
- data/src/core/ext/upbdefs-gen/opencensus/proto/trace/v1/trace_config.upbdefs.h +0 -48
- data/src/core/util/atm.cc +0 -34
- data/third_party/boringssl-with-bazel/src/crypto/dilithium/dilithium.c +0 -1539
- data/third_party/boringssl-with-bazel/src/crypto/dilithium/internal.h +0 -58
- data/third_party/boringssl-with-bazel/src/crypto/spx/address.c +0 -101
- data/third_party/boringssl-with-bazel/src/crypto/spx/address.h +0 -50
- data/third_party/boringssl-with-bazel/src/crypto/spx/fors.c +0 -133
- data/third_party/boringssl-with-bazel/src/crypto/spx/fors.h +0 -54
- data/third_party/boringssl-with-bazel/src/crypto/spx/merkle.c +0 -150
- data/third_party/boringssl-with-bazel/src/crypto/spx/merkle.h +0 -61
- data/third_party/boringssl-with-bazel/src/crypto/spx/params.h +0 -71
- data/third_party/boringssl-with-bazel/src/crypto/spx/spx.c +0 -140
- data/third_party/boringssl-with-bazel/src/crypto/spx/spx_util.c +0 -53
- data/third_party/boringssl-with-bazel/src/crypto/spx/spx_util.h +0 -44
- data/third_party/boringssl-with-bazel/src/crypto/spx/thash.c +0 -136
- data/third_party/boringssl-with-bazel/src/crypto/spx/thash.h +0 -70
- data/third_party/boringssl-with-bazel/src/crypto/spx/wots.c +0 -135
- data/third_party/boringssl-with-bazel/src/crypto/spx/wots.h +0 -45
- data/third_party/boringssl-with-bazel/src/include/openssl/experimental/dilithium.h +0 -129
- data/third_party/boringssl-with-bazel/src/include/openssl/experimental/spx.h +0 -90
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_bool.c → a_bool.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_gentm.c → a_gentm.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_octet.c → a_octet.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_strex.c → a_strex.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_time.c → a_time.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{a_utctm.c → a_utctm.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{asn1_par.c → asn1_par.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{f_int.c → f_int.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{f_string.c → f_string.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/asn1/{tasn_typ.c → tasn_typ.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/bio/{errno.c → errno.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/bio/{fd.c → fd.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/bio/{hexdump.c → hexdump.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/bio/{socket.c → socket.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{cipher_extra.c → cipher_extra.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{derive_key.c → derive_key.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/cipher_extra/{tls_cbc.c → tls_cbc.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/des/{des.c → des.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/dh_extra/{params.c → params.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/ecdh_extra/{ecdh_extra.c → ecdh_extra.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/evp/{evp_asn1.c → evp_asn1.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/evp/{sign.c → sign.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/{aes.c.inc → aes.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/aes/{mode_wrappers.c.inc → mode_wrappers.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{bytes.c.inc → bytes.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{cmp.c.inc → cmp.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{generic.c.inc → generic.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{jacobi.c.inc → jacobi.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{montgomery_inv.c.inc → montgomery_inv.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{random.c.inc → random.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{rsaz_exp.c.inc → rsaz_exp.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/bn/{sqrt.c.inc → sqrt.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/cipher/{e_aesccm.c.inc → e_aesccm.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/dh/{check.c.inc → check.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{ec_montgomery.c.inc → ec_montgomery.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/ec/{simple.c.inc → simple.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{cbc.c.inc → cbc.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{cfb.c.inc → cfb.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{ctr.c.inc → ctr.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/modes/{ofb.c.inc → ofb.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/fipsmodule/tls/{kdf.c.inc → kdf.cc.inc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/obj/{obj_xref.c → obj_xref.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_all.c → pem_all.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_pk8.c → pem_pk8.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_pkey.c → pem_pkey.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_x509.c → pem_x509.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/pem/{pem_xaux.c → pem_xaux.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/rc4/{rc4.c → rc4.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/rsa_extra/{rsa_print.c → rsa_print.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/{thread.c → thread.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{by_file.c → by_file.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{i2d_pr.c → i2d_pr.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{name_print.c → name_print.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{t_crl.c → t_crl.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{t_req.c → t_req.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{t_x509.c → t_x509.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{t_x509a.c → t_x509a.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{v3_akeya.c → v3_akeya.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509.c → x509.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_cmp.c → x509_cmp.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_d2.c → x509_d2.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_def.c → x509_def.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_ext.c → x509_ext.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_obj.c → x509_obj.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_req.c → x509_req.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_set.c → x509_set.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_trs.c → x509_trs.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509_txt.c → x509_txt.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509cset.c → x509cset.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509name.c → x509name.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x509rset.c → x509rset.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_algor.c → x_algor.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_attrib.c → x_attrib.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_exten.c → x_exten.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_req.c → x_req.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_sig.c → x_sig.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_spki.c → x_spki.cc} +0 -0
- /data/third_party/boringssl-with-bazel/src/crypto/x509/{x_val.c → x_val.cc} +0 -0
@@ -1,1539 +0,0 @@
|
|
1
|
-
/* Copyright (c) 2023, Google LLC
|
2
|
-
*
|
3
|
-
* Permission to use, copy, modify, and/or distribute this software for any
|
4
|
-
* purpose with or without fee is hereby granted, provided that the above
|
5
|
-
* copyright notice and this permission notice appear in all copies.
|
6
|
-
*
|
7
|
-
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
8
|
-
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
9
|
-
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
|
10
|
-
* SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
11
|
-
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
|
12
|
-
* OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
|
13
|
-
* CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
|
14
|
-
|
15
|
-
#define OPENSSL_UNSTABLE_EXPERIMENTAL_DILITHIUM
|
16
|
-
#include <openssl/experimental/dilithium.h>
|
17
|
-
|
18
|
-
#include <assert.h>
|
19
|
-
#include <stdlib.h>
|
20
|
-
|
21
|
-
#include <openssl/bytestring.h>
|
22
|
-
#include <openssl/rand.h>
|
23
|
-
|
24
|
-
#include "../internal.h"
|
25
|
-
#include "../keccak/internal.h"
|
26
|
-
#include "./internal.h"
|
27
|
-
|
28
|
-
#define DEGREE 256
|
29
|
-
#define K 6
|
30
|
-
#define L 5
|
31
|
-
#define ETA 4
|
32
|
-
#define TAU 49
|
33
|
-
#define BETA 196
|
34
|
-
#define OMEGA 55
|
35
|
-
|
36
|
-
#define RHO_BYTES 32
|
37
|
-
#define SIGMA_BYTES 64
|
38
|
-
#define K_BYTES 32
|
39
|
-
#define TR_BYTES 64
|
40
|
-
#define MU_BYTES 64
|
41
|
-
#define RHO_PRIME_BYTES 64
|
42
|
-
#define LAMBDA_BITS 192
|
43
|
-
#define LAMBDA_BYTES (LAMBDA_BITS / 8)
|
44
|
-
|
45
|
-
// 2^23 - 2^13 + 1
|
46
|
-
static const uint32_t kPrime = 8380417;
|
47
|
-
// Inverse of -kPrime modulo 2^32
|
48
|
-
static const uint32_t kPrimeNegInverse = 4236238847;
|
49
|
-
static const int kDroppedBits = 13;
|
50
|
-
static const uint32_t kHalfPrime = (8380417 - 1) / 2;
|
51
|
-
static const uint32_t kGamma1 = 1 << 19;
|
52
|
-
static const uint32_t kGamma2 = (8380417 - 1) / 32;
|
53
|
-
// 256^-1 mod kPrime, in Montgomery form.
|
54
|
-
static const uint32_t kInverseDegreeMontgomery = 41978;
|
55
|
-
|
56
|
-
typedef struct scalar {
|
57
|
-
uint32_t c[DEGREE];
|
58
|
-
} scalar;
|
59
|
-
|
60
|
-
typedef struct vectork {
|
61
|
-
scalar v[K];
|
62
|
-
} vectork;
|
63
|
-
|
64
|
-
typedef struct vectorl {
|
65
|
-
scalar v[L];
|
66
|
-
} vectorl;
|
67
|
-
|
68
|
-
typedef struct matrix {
|
69
|
-
scalar v[K][L];
|
70
|
-
} matrix;
|
71
|
-
|
72
|
-
/* Arithmetic */
|
73
|
-
|
74
|
-
// This bit of Python will be referenced in some of the following comments:
|
75
|
-
//
|
76
|
-
// q = 8380417
|
77
|
-
// # Inverse of -q modulo 2^32
|
78
|
-
// q_neg_inverse = 4236238847
|
79
|
-
// # 2^64 modulo q
|
80
|
-
// montgomery_square = 2365951
|
81
|
-
//
|
82
|
-
// def bitreverse(i):
|
83
|
-
// ret = 0
|
84
|
-
// for n in range(8):
|
85
|
-
// bit = i & 1
|
86
|
-
// ret <<= 1
|
87
|
-
// ret |= bit
|
88
|
-
// i >>= 1
|
89
|
-
// return ret
|
90
|
-
//
|
91
|
-
// def montgomery_reduce(x):
|
92
|
-
// a = (x * q_neg_inverse) % 2**32
|
93
|
-
// b = x + a * q
|
94
|
-
// assert b & 0xFFFF_FFFF == 0
|
95
|
-
// c = b >> 32
|
96
|
-
// assert c < q
|
97
|
-
// return c
|
98
|
-
//
|
99
|
-
// def montgomery_transform(x):
|
100
|
-
// return montgomery_reduce(x * montgomery_square)
|
101
|
-
|
102
|
-
// kNTTRootsMontgomery = [
|
103
|
-
// montgomery_transform(pow(1753, bitreverse(i), q)) for i in range(256)
|
104
|
-
// ]
|
105
|
-
static const uint32_t kNTTRootsMontgomery[256] = {
|
106
|
-
4193792, 25847, 5771523, 7861508, 237124, 7602457, 7504169, 466468,
|
107
|
-
1826347, 2353451, 8021166, 6288512, 3119733, 5495562, 3111497, 2680103,
|
108
|
-
2725464, 1024112, 7300517, 3585928, 7830929, 7260833, 2619752, 6271868,
|
109
|
-
6262231, 4520680, 6980856, 5102745, 1757237, 8360995, 4010497, 280005,
|
110
|
-
2706023, 95776, 3077325, 3530437, 6718724, 4788269, 5842901, 3915439,
|
111
|
-
4519302, 5336701, 3574422, 5512770, 3539968, 8079950, 2348700, 7841118,
|
112
|
-
6681150, 6736599, 3505694, 4558682, 3507263, 6239768, 6779997, 3699596,
|
113
|
-
811944, 531354, 954230, 3881043, 3900724, 5823537, 2071892, 5582638,
|
114
|
-
4450022, 6851714, 4702672, 5339162, 6927966, 3475950, 2176455, 6795196,
|
115
|
-
7122806, 1939314, 4296819, 7380215, 5190273, 5223087, 4747489, 126922,
|
116
|
-
3412210, 7396998, 2147896, 2715295, 5412772, 4686924, 7969390, 5903370,
|
117
|
-
7709315, 7151892, 8357436, 7072248, 7998430, 1349076, 1852771, 6949987,
|
118
|
-
5037034, 264944, 508951, 3097992, 44288, 7280319, 904516, 3958618,
|
119
|
-
4656075, 8371839, 1653064, 5130689, 2389356, 8169440, 759969, 7063561,
|
120
|
-
189548, 4827145, 3159746, 6529015, 5971092, 8202977, 1315589, 1341330,
|
121
|
-
1285669, 6795489, 7567685, 6940675, 5361315, 4499357, 4751448, 3839961,
|
122
|
-
2091667, 3407706, 2316500, 3817976, 5037939, 2244091, 5933984, 4817955,
|
123
|
-
266997, 2434439, 7144689, 3513181, 4860065, 4621053, 7183191, 5187039,
|
124
|
-
900702, 1859098, 909542, 819034, 495491, 6767243, 8337157, 7857917,
|
125
|
-
7725090, 5257975, 2031748, 3207046, 4823422, 7855319, 7611795, 4784579,
|
126
|
-
342297, 286988, 5942594, 4108315, 3437287, 5038140, 1735879, 203044,
|
127
|
-
2842341, 2691481, 5790267, 1265009, 4055324, 1247620, 2486353, 1595974,
|
128
|
-
4613401, 1250494, 2635921, 4832145, 5386378, 1869119, 1903435, 7329447,
|
129
|
-
7047359, 1237275, 5062207, 6950192, 7929317, 1312455, 3306115, 6417775,
|
130
|
-
7100756, 1917081, 5834105, 7005614, 1500165, 777191, 2235880, 3406031,
|
131
|
-
7838005, 5548557, 6709241, 6533464, 5796124, 4656147, 594136, 4603424,
|
132
|
-
6366809, 2432395, 2454455, 8215696, 1957272, 3369112, 185531, 7173032,
|
133
|
-
5196991, 162844, 1616392, 3014001, 810149, 1652634, 4686184, 6581310,
|
134
|
-
5341501, 3523897, 3866901, 269760, 2213111, 7404533, 1717735, 472078,
|
135
|
-
7953734, 1723600, 6577327, 1910376, 6712985, 7276084, 8119771, 4546524,
|
136
|
-
5441381, 6144432, 7959518, 6094090, 183443, 7403526, 1612842, 4834730,
|
137
|
-
7826001, 3919660, 8332111, 7018208, 3937738, 1400424, 7534263, 1976782};
|
138
|
-
|
139
|
-
// Reduces x mod kPrime in constant time, where 0 <= x < 2*kPrime.
|
140
|
-
static uint32_t reduce_once(uint32_t x) {
|
141
|
-
declassify_assert(x < 2 * kPrime);
|
142
|
-
// return x < kPrime ? x : x - kPrime;
|
143
|
-
return constant_time_select_int(constant_time_lt_w(x, kPrime), x, x - kPrime);
|
144
|
-
}
|
145
|
-
|
146
|
-
// Returns the absolute value in constant time.
|
147
|
-
static uint32_t abs_signed(uint32_t x) {
|
148
|
-
// return is_positive(x) ? x : -x;
|
149
|
-
// Note: MSVC doesn't like applying the unary minus operator to unsigned types
|
150
|
-
// (warning C4146), so we write the negation as a bitwise not plus one
|
151
|
-
// (assuming two's complement representation).
|
152
|
-
return constant_time_select_int(constant_time_lt_w(x, 0x80000000), x, ~x + 1);
|
153
|
-
}
|
154
|
-
|
155
|
-
// Returns the absolute value modulo kPrime.
|
156
|
-
static uint32_t abs_mod_prime(uint32_t x) {
|
157
|
-
declassify_assert(x < kPrime);
|
158
|
-
// return x > kHalfPrime ? kPrime - x : x;
|
159
|
-
return constant_time_select_int(constant_time_lt_w(kHalfPrime, x), kPrime - x,
|
160
|
-
x);
|
161
|
-
}
|
162
|
-
|
163
|
-
// Returns the maximum of two values in constant time.
|
164
|
-
static uint32_t maximum(uint32_t x, uint32_t y) {
|
165
|
-
// return x < y ? y : x;
|
166
|
-
return constant_time_select_int(constant_time_lt_w(x, y), y, x);
|
167
|
-
}
|
168
|
-
|
169
|
-
static void scalar_add(scalar *out, const scalar *lhs, const scalar *rhs) {
|
170
|
-
for (int i = 0; i < DEGREE; i++) {
|
171
|
-
out->c[i] = reduce_once(lhs->c[i] + rhs->c[i]);
|
172
|
-
}
|
173
|
-
}
|
174
|
-
|
175
|
-
static void scalar_sub(scalar *out, const scalar *lhs, const scalar *rhs) {
|
176
|
-
for (int i = 0; i < DEGREE; i++) {
|
177
|
-
out->c[i] = reduce_once(kPrime + lhs->c[i] - rhs->c[i]);
|
178
|
-
}
|
179
|
-
}
|
180
|
-
|
181
|
-
static uint32_t reduce_montgomery(uint64_t x) {
|
182
|
-
uint64_t a = (uint32_t)x * kPrimeNegInverse;
|
183
|
-
uint64_t b = x + a * kPrime;
|
184
|
-
declassify_assert((b & 0xffffffff) == 0);
|
185
|
-
uint32_t c = b >> 32;
|
186
|
-
return reduce_once(c);
|
187
|
-
}
|
188
|
-
|
189
|
-
// Multiply two scalars in the number theoretically transformed state.
|
190
|
-
static void scalar_mult(scalar *out, const scalar *lhs, const scalar *rhs) {
|
191
|
-
for (int i = 0; i < DEGREE; i++) {
|
192
|
-
out->c[i] = reduce_montgomery((uint64_t)lhs->c[i] * (uint64_t)rhs->c[i]);
|
193
|
-
}
|
194
|
-
}
|
195
|
-
|
196
|
-
// In place number theoretic transform of a given scalar.
|
197
|
-
//
|
198
|
-
// FIPS 204, Algorithm 35 (`NTT`).
|
199
|
-
static void scalar_ntt(scalar *s) {
|
200
|
-
// Step: 1, 2, 4, 8, ..., 128
|
201
|
-
// Offset: 128, 64, 32, 16, ..., 1
|
202
|
-
int offset = DEGREE;
|
203
|
-
for (int step = 1; step < DEGREE; step <<= 1) {
|
204
|
-
offset >>= 1;
|
205
|
-
int k = 0;
|
206
|
-
for (int i = 0; i < step; i++) {
|
207
|
-
assert(k == 2 * offset * i);
|
208
|
-
const uint32_t step_root = kNTTRootsMontgomery[step + i];
|
209
|
-
for (int j = k; j < k + offset; j++) {
|
210
|
-
uint32_t even = s->c[j];
|
211
|
-
uint32_t odd =
|
212
|
-
reduce_montgomery((uint64_t)step_root * (uint64_t)s->c[j + offset]);
|
213
|
-
s->c[j] = reduce_once(odd + even);
|
214
|
-
s->c[j + offset] = reduce_once(kPrime + even - odd);
|
215
|
-
}
|
216
|
-
k += 2 * offset;
|
217
|
-
}
|
218
|
-
}
|
219
|
-
}
|
220
|
-
|
221
|
-
// In place inverse number theoretic transform of a given scalar.
|
222
|
-
//
|
223
|
-
// FIPS 204, Algorithm 36 (`NTT^-1`).
|
224
|
-
static void scalar_inverse_ntt(scalar *s) {
|
225
|
-
// Step: 128, 64, 32, 16, ..., 1
|
226
|
-
// Offset: 1, 2, 4, 8, ..., 128
|
227
|
-
int step = DEGREE;
|
228
|
-
for (int offset = 1; offset < DEGREE; offset <<= 1) {
|
229
|
-
step >>= 1;
|
230
|
-
int k = 0;
|
231
|
-
for (int i = 0; i < step; i++) {
|
232
|
-
assert(k == 2 * offset * i);
|
233
|
-
const uint32_t step_root =
|
234
|
-
kPrime - kNTTRootsMontgomery[step + (step - 1 - i)];
|
235
|
-
for (int j = k; j < k + offset; j++) {
|
236
|
-
uint32_t even = s->c[j];
|
237
|
-
uint32_t odd = s->c[j + offset];
|
238
|
-
s->c[j] = reduce_once(odd + even);
|
239
|
-
s->c[j + offset] = reduce_montgomery((uint64_t)step_root *
|
240
|
-
(uint64_t)(kPrime + even - odd));
|
241
|
-
}
|
242
|
-
k += 2 * offset;
|
243
|
-
}
|
244
|
-
}
|
245
|
-
for (int i = 0; i < DEGREE; i++) {
|
246
|
-
s->c[i] = reduce_montgomery((uint64_t)s->c[i] *
|
247
|
-
(uint64_t)kInverseDegreeMontgomery);
|
248
|
-
}
|
249
|
-
}
|
250
|
-
|
251
|
-
static void vectork_zero(vectork *out) { OPENSSL_memset(out, 0, sizeof(*out)); }
|
252
|
-
|
253
|
-
static void vectork_add(vectork *out, const vectork *lhs, const vectork *rhs) {
|
254
|
-
for (int i = 0; i < K; i++) {
|
255
|
-
scalar_add(&out->v[i], &lhs->v[i], &rhs->v[i]);
|
256
|
-
}
|
257
|
-
}
|
258
|
-
|
259
|
-
static void vectork_sub(vectork *out, const vectork *lhs, const vectork *rhs) {
|
260
|
-
for (int i = 0; i < K; i++) {
|
261
|
-
scalar_sub(&out->v[i], &lhs->v[i], &rhs->v[i]);
|
262
|
-
}
|
263
|
-
}
|
264
|
-
|
265
|
-
static void vectork_mult_scalar(vectork *out, const vectork *lhs,
|
266
|
-
const scalar *rhs) {
|
267
|
-
for (int i = 0; i < K; i++) {
|
268
|
-
scalar_mult(&out->v[i], &lhs->v[i], rhs);
|
269
|
-
}
|
270
|
-
}
|
271
|
-
|
272
|
-
static void vectork_ntt(vectork *a) {
|
273
|
-
for (int i = 0; i < K; i++) {
|
274
|
-
scalar_ntt(&a->v[i]);
|
275
|
-
}
|
276
|
-
}
|
277
|
-
|
278
|
-
static void vectork_inverse_ntt(vectork *a) {
|
279
|
-
for (int i = 0; i < K; i++) {
|
280
|
-
scalar_inverse_ntt(&a->v[i]);
|
281
|
-
}
|
282
|
-
}
|
283
|
-
|
284
|
-
static void vectorl_add(vectorl *out, const vectorl *lhs, const vectorl *rhs) {
|
285
|
-
for (int i = 0; i < L; i++) {
|
286
|
-
scalar_add(&out->v[i], &lhs->v[i], &rhs->v[i]);
|
287
|
-
}
|
288
|
-
}
|
289
|
-
|
290
|
-
static void vectorl_mult_scalar(vectorl *out, const vectorl *lhs,
|
291
|
-
const scalar *rhs) {
|
292
|
-
for (int i = 0; i < L; i++) {
|
293
|
-
scalar_mult(&out->v[i], &lhs->v[i], rhs);
|
294
|
-
}
|
295
|
-
}
|
296
|
-
|
297
|
-
static void vectorl_ntt(vectorl *a) {
|
298
|
-
for (int i = 0; i < L; i++) {
|
299
|
-
scalar_ntt(&a->v[i]);
|
300
|
-
}
|
301
|
-
}
|
302
|
-
|
303
|
-
static void vectorl_inverse_ntt(vectorl *a) {
|
304
|
-
for (int i = 0; i < L; i++) {
|
305
|
-
scalar_inverse_ntt(&a->v[i]);
|
306
|
-
}
|
307
|
-
}
|
308
|
-
|
309
|
-
static void matrix_mult(vectork *out, const matrix *m, const vectorl *a) {
|
310
|
-
vectork_zero(out);
|
311
|
-
for (int i = 0; i < K; i++) {
|
312
|
-
for (int j = 0; j < L; j++) {
|
313
|
-
scalar product;
|
314
|
-
scalar_mult(&product, &m->v[i][j], &a->v[j]);
|
315
|
-
scalar_add(&out->v[i], &out->v[i], &product);
|
316
|
-
}
|
317
|
-
}
|
318
|
-
}
|
319
|
-
|
320
|
-
/* Rounding & hints */
|
321
|
-
|
322
|
-
// FIPS 204, Algorithm 29 (`Power2Round`).
|
323
|
-
static void power2_round(uint32_t *r1, uint32_t *r0, uint32_t r) {
|
324
|
-
*r1 = r >> kDroppedBits;
|
325
|
-
*r0 = r - (*r1 << kDroppedBits);
|
326
|
-
|
327
|
-
uint32_t r0_adjusted = reduce_once(kPrime + *r0 - (1 << kDroppedBits));
|
328
|
-
uint32_t r1_adjusted = *r1 + 1;
|
329
|
-
|
330
|
-
// Mask is set iff r0 > 2^(dropped_bits - 1).
|
331
|
-
crypto_word_t mask =
|
332
|
-
constant_time_lt_w((uint32_t)(1 << (kDroppedBits - 1)), *r0);
|
333
|
-
// r0 = mask ? r0_adjusted : r0
|
334
|
-
*r0 = constant_time_select_int(mask, r0_adjusted, *r0);
|
335
|
-
// r1 = mask ? r1_adjusted : r1
|
336
|
-
*r1 = constant_time_select_int(mask, r1_adjusted, *r1);
|
337
|
-
}
|
338
|
-
|
339
|
-
// Scale back previously rounded value.
|
340
|
-
static void scale_power2_round(uint32_t *out, uint32_t r1) {
|
341
|
-
// Pre-condition: 0 <= r1 <= 2^10 - 1
|
342
|
-
*out = r1 << kDroppedBits;
|
343
|
-
// Post-condition: 0 <= out <= 2^23 - 2^13 = kPrime - 1
|
344
|
-
assert(*out < kPrime);
|
345
|
-
}
|
346
|
-
|
347
|
-
// FIPS 204, Algorithm 31 (`HighBits`).
|
348
|
-
static uint32_t high_bits(uint32_t x) {
|
349
|
-
// Reference description (given 0 <= x < q):
|
350
|
-
//
|
351
|
-
// ```
|
352
|
-
// int32_t r0 = x mod+- (2 * kGamma2);
|
353
|
-
// if (x - r0 == q - 1) {
|
354
|
-
// return 0;
|
355
|
-
// } else {
|
356
|
-
// return (x - r0) / (2 * kGamma2);
|
357
|
-
// }
|
358
|
-
// ```
|
359
|
-
//
|
360
|
-
// Below is the formula taken from the reference implementation.
|
361
|
-
//
|
362
|
-
// Here, kGamma2 == 2^18 - 2^8
|
363
|
-
// This returns ((ceil(x / 2^7) * (2^10 + 1) + 2^21) / 2^22) mod 2^4
|
364
|
-
uint32_t r1 = (x + 127) >> 7;
|
365
|
-
r1 = (r1 * 1025 + (1 << 21)) >> 22;
|
366
|
-
r1 &= 15;
|
367
|
-
return r1;
|
368
|
-
}
|
369
|
-
|
370
|
-
// FIPS 204, Algorithm 30 (`Decompose`).
|
371
|
-
static void decompose(uint32_t *r1, int32_t *r0, uint32_t r) {
|
372
|
-
*r1 = high_bits(r);
|
373
|
-
|
374
|
-
*r0 = r;
|
375
|
-
*r0 -= *r1 * 2 * (int32_t)kGamma2;
|
376
|
-
*r0 -= (((int32_t)kHalfPrime - *r0) >> 31) & (int32_t)kPrime;
|
377
|
-
}
|
378
|
-
|
379
|
-
// FIPS 204, Algorithm 32 (`LowBits`).
|
380
|
-
static int32_t low_bits(uint32_t x) {
|
381
|
-
uint32_t r1;
|
382
|
-
int32_t r0;
|
383
|
-
decompose(&r1, &r0, x);
|
384
|
-
return r0;
|
385
|
-
}
|
386
|
-
|
387
|
-
// FIPS 204, Algorithm 33 (`MakeHint`).
|
388
|
-
static int32_t make_hint(uint32_t ct0, uint32_t cs2, uint32_t w) {
|
389
|
-
uint32_t r_plus_z = reduce_once(kPrime + w - cs2);
|
390
|
-
uint32_t r = reduce_once(r_plus_z + ct0);
|
391
|
-
return high_bits(r) != high_bits(r_plus_z);
|
392
|
-
}
|
393
|
-
|
394
|
-
// FIPS 204, Algorithm 34 (`UseHint`).
|
395
|
-
static uint32_t use_hint_vartime(uint32_t h, uint32_t r) {
|
396
|
-
uint32_t r1;
|
397
|
-
int32_t r0;
|
398
|
-
decompose(&r1, &r0, r);
|
399
|
-
|
400
|
-
if (h) {
|
401
|
-
if (r0 > 0) {
|
402
|
-
return (r1 + 1) & 15;
|
403
|
-
} else {
|
404
|
-
return (r1 - 1) & 15;
|
405
|
-
}
|
406
|
-
} else {
|
407
|
-
return r1;
|
408
|
-
}
|
409
|
-
}
|
410
|
-
|
411
|
-
static void scalar_power2_round(scalar *s1, scalar *s0, const scalar *s) {
|
412
|
-
for (int i = 0; i < DEGREE; i++) {
|
413
|
-
power2_round(&s1->c[i], &s0->c[i], s->c[i]);
|
414
|
-
}
|
415
|
-
}
|
416
|
-
|
417
|
-
static void scalar_scale_power2_round(scalar *out, const scalar *in) {
|
418
|
-
for (int i = 0; i < DEGREE; i++) {
|
419
|
-
scale_power2_round(&out->c[i], in->c[i]);
|
420
|
-
}
|
421
|
-
}
|
422
|
-
|
423
|
-
static void scalar_high_bits(scalar *out, const scalar *in) {
|
424
|
-
for (int i = 0; i < DEGREE; i++) {
|
425
|
-
out->c[i] = high_bits(in->c[i]);
|
426
|
-
}
|
427
|
-
}
|
428
|
-
|
429
|
-
static void scalar_low_bits(scalar *out, const scalar *in) {
|
430
|
-
for (int i = 0; i < DEGREE; i++) {
|
431
|
-
out->c[i] = low_bits(in->c[i]);
|
432
|
-
}
|
433
|
-
}
|
434
|
-
|
435
|
-
static void scalar_max(uint32_t *max, const scalar *s) {
|
436
|
-
for (int i = 0; i < DEGREE; i++) {
|
437
|
-
uint32_t abs = abs_mod_prime(s->c[i]);
|
438
|
-
*max = maximum(*max, abs);
|
439
|
-
}
|
440
|
-
}
|
441
|
-
|
442
|
-
static void scalar_max_signed(uint32_t *max, const scalar *s) {
|
443
|
-
for (int i = 0; i < DEGREE; i++) {
|
444
|
-
uint32_t abs = abs_signed(s->c[i]);
|
445
|
-
*max = maximum(*max, abs);
|
446
|
-
}
|
447
|
-
}
|
448
|
-
|
449
|
-
static void scalar_make_hint(scalar *out, const scalar *ct0, const scalar *cs2,
|
450
|
-
const scalar *w) {
|
451
|
-
for (int i = 0; i < DEGREE; i++) {
|
452
|
-
out->c[i] = make_hint(ct0->c[i], cs2->c[i], w->c[i]);
|
453
|
-
}
|
454
|
-
}
|
455
|
-
|
456
|
-
static void scalar_use_hint_vartime(scalar *out, const scalar *h,
|
457
|
-
const scalar *r) {
|
458
|
-
for (int i = 0; i < DEGREE; i++) {
|
459
|
-
out->c[i] = use_hint_vartime(h->c[i], r->c[i]);
|
460
|
-
}
|
461
|
-
}
|
462
|
-
|
463
|
-
static void vectork_power2_round(vectork *t1, vectork *t0, const vectork *t) {
|
464
|
-
for (int i = 0; i < K; i++) {
|
465
|
-
scalar_power2_round(&t1->v[i], &t0->v[i], &t->v[i]);
|
466
|
-
}
|
467
|
-
}
|
468
|
-
|
469
|
-
static void vectork_scale_power2_round(vectork *out, const vectork *in) {
|
470
|
-
for (int i = 0; i < K; i++) {
|
471
|
-
scalar_scale_power2_round(&out->v[i], &in->v[i]);
|
472
|
-
}
|
473
|
-
}
|
474
|
-
|
475
|
-
static void vectork_high_bits(vectork *out, const vectork *in) {
|
476
|
-
for (int i = 0; i < K; i++) {
|
477
|
-
scalar_high_bits(&out->v[i], &in->v[i]);
|
478
|
-
}
|
479
|
-
}
|
480
|
-
|
481
|
-
static void vectork_low_bits(vectork *out, const vectork *in) {
|
482
|
-
for (int i = 0; i < K; i++) {
|
483
|
-
scalar_low_bits(&out->v[i], &in->v[i]);
|
484
|
-
}
|
485
|
-
}
|
486
|
-
|
487
|
-
static uint32_t vectork_max(const vectork *a) {
|
488
|
-
uint32_t max = 0;
|
489
|
-
for (int i = 0; i < K; i++) {
|
490
|
-
scalar_max(&max, &a->v[i]);
|
491
|
-
}
|
492
|
-
return max;
|
493
|
-
}
|
494
|
-
|
495
|
-
static uint32_t vectork_max_signed(const vectork *a) {
|
496
|
-
uint32_t max = 0;
|
497
|
-
for (int i = 0; i < K; i++) {
|
498
|
-
scalar_max_signed(&max, &a->v[i]);
|
499
|
-
}
|
500
|
-
return max;
|
501
|
-
}
|
502
|
-
|
503
|
-
// The input vector contains only zeroes and ones.
|
504
|
-
static size_t vectork_count_ones(const vectork *a) {
|
505
|
-
size_t count = 0;
|
506
|
-
for (int i = 0; i < K; i++) {
|
507
|
-
for (int j = 0; j < DEGREE; j++) {
|
508
|
-
count += a->v[i].c[j];
|
509
|
-
}
|
510
|
-
}
|
511
|
-
return count;
|
512
|
-
}
|
513
|
-
|
514
|
-
static void vectork_make_hint(vectork *out, const vectork *ct0,
|
515
|
-
const vectork *cs2, const vectork *w) {
|
516
|
-
for (int i = 0; i < K; i++) {
|
517
|
-
scalar_make_hint(&out->v[i], &ct0->v[i], &cs2->v[i], &w->v[i]);
|
518
|
-
}
|
519
|
-
}
|
520
|
-
|
521
|
-
static void vectork_use_hint_vartime(vectork *out, const vectork *h,
|
522
|
-
const vectork *r) {
|
523
|
-
for (int i = 0; i < K; i++) {
|
524
|
-
scalar_use_hint_vartime(&out->v[i], &h->v[i], &r->v[i]);
|
525
|
-
}
|
526
|
-
}
|
527
|
-
|
528
|
-
static uint32_t vectorl_max(const vectorl *a) {
|
529
|
-
uint32_t max = 0;
|
530
|
-
for (int i = 0; i < L; i++) {
|
531
|
-
scalar_max(&max, &a->v[i]);
|
532
|
-
}
|
533
|
-
return max;
|
534
|
-
}
|
535
|
-
|
536
|
-
/* Bit packing */
|
537
|
-
|
538
|
-
static const uint8_t kMasks[8] = {0x01, 0x03, 0x07, 0x0f,
|
539
|
-
0x1f, 0x3f, 0x7f, 0xff};
|
540
|
-
|
541
|
-
// FIPS 204, Algorithm 10 (`SimpleBitPack`).
|
542
|
-
static void scalar_encode(uint8_t *out, const scalar *s, int bits) {
|
543
|
-
assert(bits <= (int)sizeof(*s->c) * 8 && bits != 1);
|
544
|
-
|
545
|
-
uint8_t out_byte = 0;
|
546
|
-
int out_byte_bits = 0;
|
547
|
-
|
548
|
-
for (int i = 0; i < DEGREE; i++) {
|
549
|
-
uint32_t element = s->c[i];
|
550
|
-
int element_bits_done = 0;
|
551
|
-
|
552
|
-
while (element_bits_done < bits) {
|
553
|
-
int chunk_bits = bits - element_bits_done;
|
554
|
-
int out_bits_remaining = 8 - out_byte_bits;
|
555
|
-
if (chunk_bits >= out_bits_remaining) {
|
556
|
-
chunk_bits = out_bits_remaining;
|
557
|
-
out_byte |= (element & kMasks[chunk_bits - 1]) << out_byte_bits;
|
558
|
-
*out = out_byte;
|
559
|
-
out++;
|
560
|
-
out_byte_bits = 0;
|
561
|
-
out_byte = 0;
|
562
|
-
} else {
|
563
|
-
out_byte |= (element & kMasks[chunk_bits - 1]) << out_byte_bits;
|
564
|
-
out_byte_bits += chunk_bits;
|
565
|
-
}
|
566
|
-
|
567
|
-
element_bits_done += chunk_bits;
|
568
|
-
element >>= chunk_bits;
|
569
|
-
}
|
570
|
-
}
|
571
|
-
|
572
|
-
if (out_byte_bits > 0) {
|
573
|
-
*out = out_byte;
|
574
|
-
}
|
575
|
-
}
|
576
|
-
|
577
|
-
// FIPS 204, Algorithm 11 (`BitPack`).
|
578
|
-
static void scalar_encode_signed(uint8_t *out, const scalar *s, int bits,
|
579
|
-
uint32_t max) {
|
580
|
-
assert(bits <= (int)sizeof(*s->c) * 8 && bits != 1);
|
581
|
-
|
582
|
-
uint8_t out_byte = 0;
|
583
|
-
int out_byte_bits = 0;
|
584
|
-
|
585
|
-
for (int i = 0; i < DEGREE; i++) {
|
586
|
-
uint32_t element = reduce_once(kPrime + max - s->c[i]);
|
587
|
-
declassify_assert(element <= 2 * max);
|
588
|
-
int element_bits_done = 0;
|
589
|
-
|
590
|
-
while (element_bits_done < bits) {
|
591
|
-
int chunk_bits = bits - element_bits_done;
|
592
|
-
int out_bits_remaining = 8 - out_byte_bits;
|
593
|
-
if (chunk_bits >= out_bits_remaining) {
|
594
|
-
chunk_bits = out_bits_remaining;
|
595
|
-
out_byte |= (element & kMasks[chunk_bits - 1]) << out_byte_bits;
|
596
|
-
*out = out_byte;
|
597
|
-
out++;
|
598
|
-
out_byte_bits = 0;
|
599
|
-
out_byte = 0;
|
600
|
-
} else {
|
601
|
-
out_byte |= (element & kMasks[chunk_bits - 1]) << out_byte_bits;
|
602
|
-
out_byte_bits += chunk_bits;
|
603
|
-
}
|
604
|
-
|
605
|
-
element_bits_done += chunk_bits;
|
606
|
-
element >>= chunk_bits;
|
607
|
-
}
|
608
|
-
}
|
609
|
-
|
610
|
-
if (out_byte_bits > 0) {
|
611
|
-
*out = out_byte;
|
612
|
-
}
|
613
|
-
}
|
614
|
-
|
615
|
-
// FIPS 204, Algorithm 12 (`SimpleBitUnpack`).
|
616
|
-
static void scalar_decode(scalar *out, const uint8_t *in, int bits) {
|
617
|
-
assert(bits <= (int)sizeof(*out->c) * 8 && bits != 1);
|
618
|
-
|
619
|
-
uint8_t in_byte = 0;
|
620
|
-
int in_byte_bits_left = 0;
|
621
|
-
|
622
|
-
for (int i = 0; i < DEGREE; i++) {
|
623
|
-
uint32_t element = 0;
|
624
|
-
int element_bits_done = 0;
|
625
|
-
|
626
|
-
while (element_bits_done < bits) {
|
627
|
-
if (in_byte_bits_left == 0) {
|
628
|
-
in_byte = *in;
|
629
|
-
in++;
|
630
|
-
in_byte_bits_left = 8;
|
631
|
-
}
|
632
|
-
|
633
|
-
int chunk_bits = bits - element_bits_done;
|
634
|
-
if (chunk_bits > in_byte_bits_left) {
|
635
|
-
chunk_bits = in_byte_bits_left;
|
636
|
-
}
|
637
|
-
|
638
|
-
element |= (in_byte & kMasks[chunk_bits - 1]) << element_bits_done;
|
639
|
-
in_byte_bits_left -= chunk_bits;
|
640
|
-
in_byte >>= chunk_bits;
|
641
|
-
|
642
|
-
element_bits_done += chunk_bits;
|
643
|
-
}
|
644
|
-
|
645
|
-
out->c[i] = element;
|
646
|
-
}
|
647
|
-
}
|
648
|
-
|
649
|
-
// FIPS 204, Algorithm 13 (`BitUnpack`).
|
650
|
-
static int scalar_decode_signed(scalar *out, const uint8_t *in, int bits,
|
651
|
-
uint32_t max) {
|
652
|
-
assert(bits <= (int)sizeof(*out->c) * 8 && bits != 1);
|
653
|
-
|
654
|
-
uint8_t in_byte = 0;
|
655
|
-
int in_byte_bits_left = 0;
|
656
|
-
|
657
|
-
for (int i = 0; i < DEGREE; i++) {
|
658
|
-
uint32_t element = 0;
|
659
|
-
int element_bits_done = 0;
|
660
|
-
|
661
|
-
while (element_bits_done < bits) {
|
662
|
-
if (in_byte_bits_left == 0) {
|
663
|
-
in_byte = *in;
|
664
|
-
in++;
|
665
|
-
in_byte_bits_left = 8;
|
666
|
-
}
|
667
|
-
|
668
|
-
int chunk_bits = bits - element_bits_done;
|
669
|
-
if (chunk_bits > in_byte_bits_left) {
|
670
|
-
chunk_bits = in_byte_bits_left;
|
671
|
-
}
|
672
|
-
|
673
|
-
element |= (in_byte & kMasks[chunk_bits - 1]) << element_bits_done;
|
674
|
-
in_byte_bits_left -= chunk_bits;
|
675
|
-
in_byte >>= chunk_bits;
|
676
|
-
|
677
|
-
element_bits_done += chunk_bits;
|
678
|
-
}
|
679
|
-
|
680
|
-
// This may be only out of range in cases of invalid input, in which case it
|
681
|
-
// is okay to leak the value. This function is also called with secret
|
682
|
-
// input during signing, in |scalar_sample_mask|. However, in that case
|
683
|
-
// (and in any case when |max| is a power of two), this case is impossible.
|
684
|
-
if (constant_time_declassify_int(element > 2 * max)) {
|
685
|
-
return 0;
|
686
|
-
}
|
687
|
-
out->c[i] = reduce_once(kPrime + max - element);
|
688
|
-
}
|
689
|
-
|
690
|
-
return 1;
|
691
|
-
}
|
692
|
-
|
693
|
-
/* Expansion functions */
|
694
|
-
|
695
|
-
// FIPS 204, Algorithm 24 (`RejNTTPoly`).
|
696
|
-
//
|
697
|
-
// Rejection samples a Keccak stream to get uniformly distributed elements. This
|
698
|
-
// is used for matrix expansion and only operates on public inputs.
|
699
|
-
static void scalar_from_keccak_vartime(
|
700
|
-
scalar *out, const uint8_t derived_seed[RHO_BYTES + 2]) {
|
701
|
-
struct BORINGSSL_keccak_st keccak_ctx;
|
702
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake128);
|
703
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, derived_seed, RHO_BYTES + 2);
|
704
|
-
assert(keccak_ctx.squeeze_offset == 0);
|
705
|
-
assert(keccak_ctx.rate_bytes == 168);
|
706
|
-
static_assert(168 % 3 == 0, "block and coefficient boundaries do not align");
|
707
|
-
|
708
|
-
int done = 0;
|
709
|
-
while (done < DEGREE) {
|
710
|
-
uint8_t block[168];
|
711
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, block, sizeof(block));
|
712
|
-
for (size_t i = 0; i < sizeof(block) && done < DEGREE; i += 3) {
|
713
|
-
// FIPS 204, Algorithm 8 (`CoeffFromThreeBytes`).
|
714
|
-
uint32_t value = (uint32_t)block[i] | ((uint32_t)block[i + 1] << 8) |
|
715
|
-
(((uint32_t)block[i + 2] & 0x7f) << 16);
|
716
|
-
if (value < kPrime) {
|
717
|
-
out->c[done++] = value;
|
718
|
-
}
|
719
|
-
}
|
720
|
-
}
|
721
|
-
}
|
722
|
-
|
723
|
-
// FIPS 204, Algorithm 25 (`RejBoundedPoly`).
|
724
|
-
static void scalar_uniform_eta_4(scalar *out,
|
725
|
-
const uint8_t derived_seed[SIGMA_BYTES + 2]) {
|
726
|
-
static_assert(ETA == 4, "This implementation is specialized for ETA == 4");
|
727
|
-
|
728
|
-
struct BORINGSSL_keccak_st keccak_ctx;
|
729
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
730
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, derived_seed, SIGMA_BYTES + 2);
|
731
|
-
assert(keccak_ctx.squeeze_offset == 0);
|
732
|
-
assert(keccak_ctx.rate_bytes == 136);
|
733
|
-
|
734
|
-
int done = 0;
|
735
|
-
while (done < DEGREE) {
|
736
|
-
uint8_t block[136];
|
737
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, block, sizeof(block));
|
738
|
-
for (size_t i = 0; i < sizeof(block) && done < DEGREE; ++i) {
|
739
|
-
uint32_t t0 = block[i] & 0x0F;
|
740
|
-
uint32_t t1 = block[i] >> 4;
|
741
|
-
// FIPS 204, Algorithm 9 (`CoefFromHalfByte`). Although both the input and
|
742
|
-
// output here are secret, it is OK to leak when we rejected a byte.
|
743
|
-
// Individual bytes of the SHAKE-256 stream are (indistiguishable from)
|
744
|
-
// independent of each other and the original seed, so leaking information
|
745
|
-
// about the rejected bytes does not reveal the input or output.
|
746
|
-
if (constant_time_declassify_int(t0 < 9)) {
|
747
|
-
out->c[done++] = reduce_once(kPrime + ETA - t0);
|
748
|
-
}
|
749
|
-
if (done < DEGREE && constant_time_declassify_int(t1 < 9)) {
|
750
|
-
out->c[done++] = reduce_once(kPrime + ETA - t1);
|
751
|
-
}
|
752
|
-
}
|
753
|
-
}
|
754
|
-
}
|
755
|
-
|
756
|
-
// FIPS 204, Algorithm 28 (`ExpandMask`).
|
757
|
-
static void scalar_sample_mask(
|
758
|
-
scalar *out, const uint8_t derived_seed[RHO_PRIME_BYTES + 2]) {
|
759
|
-
uint8_t buf[640];
|
760
|
-
BORINGSSL_keccak(buf, sizeof(buf), derived_seed, RHO_PRIME_BYTES + 2,
|
761
|
-
boringssl_shake256);
|
762
|
-
|
763
|
-
// Note: Decoding 20 bits into (-2^19, 2^19] cannot fail.
|
764
|
-
scalar_decode_signed(out, buf, 20, 1 << 19);
|
765
|
-
}
|
766
|
-
|
767
|
-
// FIPS 204, Algorithm 23 (`SampleInBall`).
|
768
|
-
static void scalar_sample_in_ball_vartime(scalar *out, const uint8_t *seed,
|
769
|
-
int len) {
|
770
|
-
assert(len == 32);
|
771
|
-
|
772
|
-
struct BORINGSSL_keccak_st keccak_ctx;
|
773
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
774
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, seed, len);
|
775
|
-
assert(keccak_ctx.squeeze_offset == 0);
|
776
|
-
assert(keccak_ctx.rate_bytes == 136);
|
777
|
-
|
778
|
-
uint8_t block[136];
|
779
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, block, sizeof(block));
|
780
|
-
|
781
|
-
uint64_t signs = CRYPTO_load_u64_le(block);
|
782
|
-
int offset = 8;
|
783
|
-
// SampleInBall implements a Fisher–Yates shuffle, which unavoidably leaks
|
784
|
-
// where the zeros are by memory access pattern. Although this leak happens
|
785
|
-
// before bad signatures are rejected, this is safe. See
|
786
|
-
// https://boringssl-review.googlesource.com/c/boringssl/+/67747/comment/8d8f01ac_70af3f21/
|
787
|
-
CONSTTIME_DECLASSIFY(block + offset, sizeof(block) - offset);
|
788
|
-
|
789
|
-
OPENSSL_memset(out, 0, sizeof(*out));
|
790
|
-
for (size_t i = DEGREE - TAU; i < DEGREE; i++) {
|
791
|
-
size_t byte;
|
792
|
-
for (;;) {
|
793
|
-
if (offset == 136) {
|
794
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, block, sizeof(block));
|
795
|
-
// See above.
|
796
|
-
CONSTTIME_DECLASSIFY(block, sizeof(block));
|
797
|
-
offset = 0;
|
798
|
-
}
|
799
|
-
|
800
|
-
byte = block[offset++];
|
801
|
-
if (byte <= i) {
|
802
|
-
break;
|
803
|
-
}
|
804
|
-
}
|
805
|
-
|
806
|
-
out->c[i] = out->c[byte];
|
807
|
-
out->c[byte] = reduce_once(kPrime + 1 - 2 * (signs & 1));
|
808
|
-
signs >>= 1;
|
809
|
-
}
|
810
|
-
}
|
811
|
-
|
812
|
-
// FIPS 204, Algorithm 26 (`ExpandA`).
|
813
|
-
static void matrix_expand(matrix *out, const uint8_t rho[RHO_BYTES]) {
|
814
|
-
static_assert(K <= 0x100, "K must fit in 8 bits");
|
815
|
-
static_assert(L <= 0x100, "L must fit in 8 bits");
|
816
|
-
|
817
|
-
uint8_t derived_seed[RHO_BYTES + 2];
|
818
|
-
OPENSSL_memcpy(derived_seed, rho, RHO_BYTES);
|
819
|
-
for (int i = 0; i < K; i++) {
|
820
|
-
for (int j = 0; j < L; j++) {
|
821
|
-
derived_seed[RHO_BYTES + 1] = i;
|
822
|
-
derived_seed[RHO_BYTES] = j;
|
823
|
-
scalar_from_keccak_vartime(&out->v[i][j], derived_seed);
|
824
|
-
}
|
825
|
-
}
|
826
|
-
}
|
827
|
-
|
828
|
-
// FIPS 204, Algorithm 27 (`ExpandS`).
|
829
|
-
static void vector_expand_short(vectorl *s1, vectork *s2,
|
830
|
-
const uint8_t sigma[SIGMA_BYTES]) {
|
831
|
-
static_assert(K <= 0x100, "K must fit in 8 bits");
|
832
|
-
static_assert(L <= 0x100, "L must fit in 8 bits");
|
833
|
-
static_assert(K + L <= 0x100, "K+L must fit in 8 bits");
|
834
|
-
|
835
|
-
uint8_t derived_seed[SIGMA_BYTES + 2];
|
836
|
-
OPENSSL_memcpy(derived_seed, sigma, SIGMA_BYTES);
|
837
|
-
derived_seed[SIGMA_BYTES] = 0;
|
838
|
-
derived_seed[SIGMA_BYTES + 1] = 0;
|
839
|
-
for (int i = 0; i < L; i++) {
|
840
|
-
scalar_uniform_eta_4(&s1->v[i], derived_seed);
|
841
|
-
++derived_seed[SIGMA_BYTES];
|
842
|
-
}
|
843
|
-
for (int i = 0; i < K; i++) {
|
844
|
-
scalar_uniform_eta_4(&s2->v[i], derived_seed);
|
845
|
-
++derived_seed[SIGMA_BYTES];
|
846
|
-
}
|
847
|
-
}
|
848
|
-
|
849
|
-
// FIPS 204, Algorithm 28 (`ExpandMask`).
|
850
|
-
static void vectorl_expand_mask(vectorl *out,
|
851
|
-
const uint8_t seed[RHO_PRIME_BYTES],
|
852
|
-
size_t kappa) {
|
853
|
-
assert(kappa + L <= 0x10000);
|
854
|
-
|
855
|
-
uint8_t derived_seed[RHO_PRIME_BYTES + 2];
|
856
|
-
OPENSSL_memcpy(derived_seed, seed, RHO_PRIME_BYTES);
|
857
|
-
for (int i = 0; i < L; i++) {
|
858
|
-
size_t index = kappa + i;
|
859
|
-
derived_seed[RHO_PRIME_BYTES] = index & 0xFF;
|
860
|
-
derived_seed[RHO_PRIME_BYTES + 1] = (index >> 8) & 0xFF;
|
861
|
-
scalar_sample_mask(&out->v[i], derived_seed);
|
862
|
-
}
|
863
|
-
}
|
864
|
-
|
865
|
-
/* Encoding */
|
866
|
-
|
867
|
-
// FIPS 204, Algorithm 10 (`SimpleBitPack`).
|
868
|
-
//
|
869
|
-
// Encodes an entire vector into 32*K*|bits| bytes. Note that since 256 (DEGREE)
|
870
|
-
// is divisible by 8, the individual vector entries will always fill a whole
|
871
|
-
// number of bytes, so we do not need to worry about bit packing here.
|
872
|
-
static void vectork_encode(uint8_t *out, const vectork *a, int bits) {
|
873
|
-
for (int i = 0; i < K; i++) {
|
874
|
-
scalar_encode(out + i * bits * DEGREE / 8, &a->v[i], bits);
|
875
|
-
}
|
876
|
-
}
|
877
|
-
|
878
|
-
// FIPS 204, Algorithm 12 (`SimpleBitUnpack`).
|
879
|
-
static void vectork_decode(vectork *out, const uint8_t *in, int bits) {
|
880
|
-
for (int i = 0; i < K; i++) {
|
881
|
-
scalar_decode(&out->v[i], in + i * bits * DEGREE / 8, bits);
|
882
|
-
}
|
883
|
-
}
|
884
|
-
|
885
|
-
static void vectork_encode_signed(uint8_t *out, const vectork *a, int bits,
|
886
|
-
uint32_t max) {
|
887
|
-
for (int i = 0; i < K; i++) {
|
888
|
-
scalar_encode_signed(out + i * bits * DEGREE / 8, &a->v[i], bits, max);
|
889
|
-
}
|
890
|
-
}
|
891
|
-
|
892
|
-
static int vectork_decode_signed(vectork *out, const uint8_t *in, int bits,
|
893
|
-
uint32_t max) {
|
894
|
-
for (int i = 0; i < K; i++) {
|
895
|
-
if (!scalar_decode_signed(&out->v[i], in + i * bits * DEGREE / 8, bits,
|
896
|
-
max)) {
|
897
|
-
return 0;
|
898
|
-
}
|
899
|
-
}
|
900
|
-
return 1;
|
901
|
-
}
|
902
|
-
|
903
|
-
// FIPS 204, Algorithm 11 (`BitPack`).
|
904
|
-
//
|
905
|
-
// Encodes an entire vector into 32*L*|bits| bytes. Note that since 256 (DEGREE)
|
906
|
-
// is divisible by 8, the individual vector entries will always fill a whole
|
907
|
-
// number of bytes, so we do not need to worry about bit packing here.
|
908
|
-
static void vectorl_encode_signed(uint8_t *out, const vectorl *a, int bits,
|
909
|
-
uint32_t max) {
|
910
|
-
for (int i = 0; i < L; i++) {
|
911
|
-
scalar_encode_signed(out + i * bits * DEGREE / 8, &a->v[i], bits, max);
|
912
|
-
}
|
913
|
-
}
|
914
|
-
|
915
|
-
static int vectorl_decode_signed(vectorl *out, const uint8_t *in, int bits,
|
916
|
-
uint32_t max) {
|
917
|
-
for (int i = 0; i < L; i++) {
|
918
|
-
if (!scalar_decode_signed(&out->v[i], in + i * bits * DEGREE / 8, bits,
|
919
|
-
max)) {
|
920
|
-
return 0;
|
921
|
-
}
|
922
|
-
}
|
923
|
-
return 1;
|
924
|
-
}
|
925
|
-
|
926
|
-
// FIPS 204, Algorithm 22 (`w1Encode`).
|
927
|
-
//
|
928
|
-
// The output must point to an array of 128*K bytes.
|
929
|
-
static void w1_encode(uint8_t *out, const vectork *w1) {
|
930
|
-
vectork_encode(out, w1, 4);
|
931
|
-
}
|
932
|
-
|
933
|
-
// FIPS 204, Algorithm 14 (`HintBitPack`).
|
934
|
-
static void hint_bit_pack(uint8_t *out, const vectork *h) {
|
935
|
-
OPENSSL_memset(out, 0, OMEGA + K);
|
936
|
-
int index = 0;
|
937
|
-
for (int i = 0; i < K; i++) {
|
938
|
-
for (int j = 0; j < DEGREE; j++) {
|
939
|
-
if (h->v[i].c[j]) {
|
940
|
-
out[index++] = j;
|
941
|
-
}
|
942
|
-
}
|
943
|
-
out[OMEGA + i] = index;
|
944
|
-
}
|
945
|
-
}
|
946
|
-
|
947
|
-
// FIPS 204, Algorithm 15 (`HintBitUnpack`).
|
948
|
-
static int hint_bit_unpack(vectork *h, const uint8_t *in) {
|
949
|
-
vectork_zero(h);
|
950
|
-
int index = 0;
|
951
|
-
for (int i = 0; i < K; i++) {
|
952
|
-
int limit = in[OMEGA + i];
|
953
|
-
if (limit < index || limit > OMEGA) {
|
954
|
-
return 0;
|
955
|
-
}
|
956
|
-
|
957
|
-
int last = -1;
|
958
|
-
while (index < limit) {
|
959
|
-
int byte = in[index++];
|
960
|
-
if (last >= 0 && byte <= last) {
|
961
|
-
return 0;
|
962
|
-
}
|
963
|
-
last = byte;
|
964
|
-
h->v[i].c[byte] = 1;
|
965
|
-
}
|
966
|
-
}
|
967
|
-
for (; index < OMEGA; index++) {
|
968
|
-
if (in[index] != 0) {
|
969
|
-
return 0;
|
970
|
-
}
|
971
|
-
}
|
972
|
-
return 1;
|
973
|
-
}
|
974
|
-
|
975
|
-
struct public_key {
|
976
|
-
uint8_t rho[RHO_BYTES];
|
977
|
-
vectork t1;
|
978
|
-
// Pre-cached value(s).
|
979
|
-
uint8_t public_key_hash[TR_BYTES];
|
980
|
-
};
|
981
|
-
|
982
|
-
struct private_key {
|
983
|
-
uint8_t rho[RHO_BYTES];
|
984
|
-
uint8_t k[K_BYTES];
|
985
|
-
uint8_t public_key_hash[TR_BYTES];
|
986
|
-
vectorl s1;
|
987
|
-
vectork s2;
|
988
|
-
vectork t0;
|
989
|
-
};
|
990
|
-
|
991
|
-
struct signature {
|
992
|
-
uint8_t c_tilde[2 * LAMBDA_BYTES];
|
993
|
-
vectorl z;
|
994
|
-
vectork h;
|
995
|
-
};
|
996
|
-
|
997
|
-
// FIPS 204, Algorithm 16 (`pkEncode`).
|
998
|
-
static int dilithium_marshal_public_key(CBB *out,
|
999
|
-
const struct public_key *pub) {
|
1000
|
-
if (!CBB_add_bytes(out, pub->rho, sizeof(pub->rho))) {
|
1001
|
-
return 0;
|
1002
|
-
}
|
1003
|
-
|
1004
|
-
uint8_t *vectork_output;
|
1005
|
-
if (!CBB_add_space(out, &vectork_output, 320 * K)) {
|
1006
|
-
return 0;
|
1007
|
-
}
|
1008
|
-
vectork_encode(vectork_output, &pub->t1, 10);
|
1009
|
-
|
1010
|
-
return 1;
|
1011
|
-
}
|
1012
|
-
|
1013
|
-
// FIPS 204, Algorithm 17 (`pkDecode`).
|
1014
|
-
static int dilithium_parse_public_key(struct public_key *pub, CBS *in) {
|
1015
|
-
if (!CBS_copy_bytes(in, pub->rho, sizeof(pub->rho))) {
|
1016
|
-
return 0;
|
1017
|
-
}
|
1018
|
-
|
1019
|
-
CBS t1_bytes;
|
1020
|
-
if (!CBS_get_bytes(in, &t1_bytes, 320 * K)) {
|
1021
|
-
return 0;
|
1022
|
-
}
|
1023
|
-
vectork_decode(&pub->t1, CBS_data(&t1_bytes), 10);
|
1024
|
-
|
1025
|
-
return 1;
|
1026
|
-
}
|
1027
|
-
|
1028
|
-
// FIPS 204, Algorithm 18 (`skEncode`).
|
1029
|
-
static int dilithium_marshal_private_key(CBB *out,
|
1030
|
-
const struct private_key *priv) {
|
1031
|
-
if (!CBB_add_bytes(out, priv->rho, sizeof(priv->rho)) ||
|
1032
|
-
!CBB_add_bytes(out, priv->k, sizeof(priv->k)) ||
|
1033
|
-
!CBB_add_bytes(out, priv->public_key_hash,
|
1034
|
-
sizeof(priv->public_key_hash))) {
|
1035
|
-
return 0;
|
1036
|
-
}
|
1037
|
-
|
1038
|
-
uint8_t *vectorl_output;
|
1039
|
-
if (!CBB_add_space(out, &vectorl_output, 128 * L)) {
|
1040
|
-
return 0;
|
1041
|
-
}
|
1042
|
-
vectorl_encode_signed(vectorl_output, &priv->s1, 4, ETA);
|
1043
|
-
|
1044
|
-
uint8_t *vectork_output;
|
1045
|
-
if (!CBB_add_space(out, &vectork_output, 128 * K)) {
|
1046
|
-
return 0;
|
1047
|
-
}
|
1048
|
-
vectork_encode_signed(vectork_output, &priv->s2, 4, ETA);
|
1049
|
-
|
1050
|
-
if (!CBB_add_space(out, &vectork_output, 416 * K)) {
|
1051
|
-
return 0;
|
1052
|
-
}
|
1053
|
-
vectork_encode_signed(vectork_output, &priv->t0, 13, 1 << 12);
|
1054
|
-
|
1055
|
-
return 1;
|
1056
|
-
}
|
1057
|
-
|
1058
|
-
// FIPS 204, Algorithm 19 (`skDecode`).
|
1059
|
-
static int dilithium_parse_private_key(struct private_key *priv, CBS *in) {
|
1060
|
-
CBS s1_bytes;
|
1061
|
-
CBS s2_bytes;
|
1062
|
-
CBS t0_bytes;
|
1063
|
-
if (!CBS_copy_bytes(in, priv->rho, sizeof(priv->rho)) ||
|
1064
|
-
!CBS_copy_bytes(in, priv->k, sizeof(priv->k)) ||
|
1065
|
-
!CBS_copy_bytes(in, priv->public_key_hash,
|
1066
|
-
sizeof(priv->public_key_hash)) ||
|
1067
|
-
!CBS_get_bytes(in, &s1_bytes, 128 * L) ||
|
1068
|
-
!vectorl_decode_signed(&priv->s1, CBS_data(&s1_bytes), 4, ETA) ||
|
1069
|
-
!CBS_get_bytes(in, &s2_bytes, 128 * K) ||
|
1070
|
-
!vectork_decode_signed(&priv->s2, CBS_data(&s2_bytes), 4, ETA) ||
|
1071
|
-
!CBS_get_bytes(in, &t0_bytes, 416 * K) ||
|
1072
|
-
// Note: Decoding 13 bits into (-2^12, 2^12] cannot fail.
|
1073
|
-
!vectork_decode_signed(&priv->t0, CBS_data(&t0_bytes), 13, 1 << 12)) {
|
1074
|
-
return 0;
|
1075
|
-
}
|
1076
|
-
|
1077
|
-
return 1;
|
1078
|
-
}
|
1079
|
-
|
1080
|
-
// FIPS 204, Algorithm 20 (`sigEncode`).
|
1081
|
-
static int dilithium_marshal_signature(CBB *out, const struct signature *sign) {
|
1082
|
-
if (!CBB_add_bytes(out, sign->c_tilde, sizeof(sign->c_tilde))) {
|
1083
|
-
return 0;
|
1084
|
-
}
|
1085
|
-
|
1086
|
-
uint8_t *vectorl_output;
|
1087
|
-
if (!CBB_add_space(out, &vectorl_output, 640 * L)) {
|
1088
|
-
return 0;
|
1089
|
-
}
|
1090
|
-
vectorl_encode_signed(vectorl_output, &sign->z, 20, 1 << 19);
|
1091
|
-
|
1092
|
-
uint8_t *hint_output;
|
1093
|
-
if (!CBB_add_space(out, &hint_output, OMEGA + K)) {
|
1094
|
-
return 0;
|
1095
|
-
}
|
1096
|
-
hint_bit_pack(hint_output, &sign->h);
|
1097
|
-
|
1098
|
-
return 1;
|
1099
|
-
}
|
1100
|
-
|
1101
|
-
// FIPS 204, Algorithm 21 (`sigDecode`).
|
1102
|
-
static int dilithium_parse_signature(struct signature *sign, CBS *in) {
|
1103
|
-
CBS z_bytes;
|
1104
|
-
CBS hint_bytes;
|
1105
|
-
if (!CBS_copy_bytes(in, sign->c_tilde, sizeof(sign->c_tilde)) ||
|
1106
|
-
!CBS_get_bytes(in, &z_bytes, 640 * L) ||
|
1107
|
-
// Note: Decoding 20 bits into (-2^19, 2^19] cannot fail.
|
1108
|
-
!vectorl_decode_signed(&sign->z, CBS_data(&z_bytes), 20, 1 << 19) ||
|
1109
|
-
!CBS_get_bytes(in, &hint_bytes, OMEGA + K) ||
|
1110
|
-
!hint_bit_unpack(&sign->h, CBS_data(&hint_bytes))) {
|
1111
|
-
return 0;
|
1112
|
-
};
|
1113
|
-
|
1114
|
-
return 1;
|
1115
|
-
}
|
1116
|
-
|
1117
|
-
static struct private_key *private_key_from_external(
|
1118
|
-
const struct DILITHIUM_private_key *external) {
|
1119
|
-
static_assert(
|
1120
|
-
sizeof(struct DILITHIUM_private_key) == sizeof(struct private_key),
|
1121
|
-
"Kyber private key size incorrect");
|
1122
|
-
static_assert(
|
1123
|
-
alignof(struct DILITHIUM_private_key) == alignof(struct private_key),
|
1124
|
-
"Kyber private key align incorrect");
|
1125
|
-
return (struct private_key *)external;
|
1126
|
-
}
|
1127
|
-
|
1128
|
-
static struct public_key *public_key_from_external(
|
1129
|
-
const struct DILITHIUM_public_key *external) {
|
1130
|
-
static_assert(
|
1131
|
-
sizeof(struct DILITHIUM_public_key) == sizeof(struct public_key),
|
1132
|
-
"Dilithium public key size incorrect");
|
1133
|
-
static_assert(
|
1134
|
-
alignof(struct DILITHIUM_public_key) == alignof(struct public_key),
|
1135
|
-
"Dilithium public key align incorrect");
|
1136
|
-
return (struct public_key *)external;
|
1137
|
-
}
|
1138
|
-
|
1139
|
-
/* API */
|
1140
|
-
|
1141
|
-
// Calls |DILITHIUM_generate_key_external_entropy| with random bytes from
|
1142
|
-
// |RAND_bytes|. Returns 1 on success and 0 on failure.
|
1143
|
-
int DILITHIUM_generate_key(
|
1144
|
-
uint8_t out_encoded_public_key[DILITHIUM_PUBLIC_KEY_BYTES],
|
1145
|
-
struct DILITHIUM_private_key *out_private_key) {
|
1146
|
-
uint8_t entropy[DILITHIUM_GENERATE_KEY_ENTROPY];
|
1147
|
-
RAND_bytes(entropy, sizeof(entropy));
|
1148
|
-
return DILITHIUM_generate_key_external_entropy(out_encoded_public_key,
|
1149
|
-
out_private_key, entropy);
|
1150
|
-
}
|
1151
|
-
|
1152
|
-
// FIPS 204, Algorithm 1 (`ML-DSA.KeyGen`). Returns 1 on success and 0 on
|
1153
|
-
// failure.
|
1154
|
-
int DILITHIUM_generate_key_external_entropy(
|
1155
|
-
uint8_t out_encoded_public_key[DILITHIUM_PUBLIC_KEY_BYTES],
|
1156
|
-
struct DILITHIUM_private_key *out_private_key,
|
1157
|
-
const uint8_t entropy[DILITHIUM_GENERATE_KEY_ENTROPY]) {
|
1158
|
-
int ret = 0;
|
1159
|
-
|
1160
|
-
// Intermediate values, allocated on the heap to allow use when there is a
|
1161
|
-
// limited amount of stack.
|
1162
|
-
struct values_st {
|
1163
|
-
struct public_key pub;
|
1164
|
-
matrix a_ntt;
|
1165
|
-
vectorl s1_ntt;
|
1166
|
-
vectork t;
|
1167
|
-
};
|
1168
|
-
struct values_st *values = OPENSSL_malloc(sizeof(*values));
|
1169
|
-
if (values == NULL) {
|
1170
|
-
goto err;
|
1171
|
-
}
|
1172
|
-
|
1173
|
-
struct private_key *priv = private_key_from_external(out_private_key);
|
1174
|
-
|
1175
|
-
uint8_t expanded_seed[RHO_BYTES + SIGMA_BYTES + K_BYTES];
|
1176
|
-
BORINGSSL_keccak(expanded_seed, sizeof(expanded_seed), entropy,
|
1177
|
-
DILITHIUM_GENERATE_KEY_ENTROPY, boringssl_shake256);
|
1178
|
-
const uint8_t *const rho = expanded_seed;
|
1179
|
-
const uint8_t *const sigma = expanded_seed + RHO_BYTES;
|
1180
|
-
const uint8_t *const k = expanded_seed + RHO_BYTES + SIGMA_BYTES;
|
1181
|
-
// rho is public.
|
1182
|
-
CONSTTIME_DECLASSIFY(rho, RHO_BYTES);
|
1183
|
-
OPENSSL_memcpy(values->pub.rho, rho, sizeof(values->pub.rho));
|
1184
|
-
OPENSSL_memcpy(priv->rho, rho, sizeof(priv->rho));
|
1185
|
-
OPENSSL_memcpy(priv->k, k, sizeof(priv->k));
|
1186
|
-
|
1187
|
-
matrix_expand(&values->a_ntt, rho);
|
1188
|
-
vector_expand_short(&priv->s1, &priv->s2, sigma);
|
1189
|
-
|
1190
|
-
OPENSSL_memcpy(&values->s1_ntt, &priv->s1, sizeof(values->s1_ntt));
|
1191
|
-
vectorl_ntt(&values->s1_ntt);
|
1192
|
-
|
1193
|
-
matrix_mult(&values->t, &values->a_ntt, &values->s1_ntt);
|
1194
|
-
vectork_inverse_ntt(&values->t);
|
1195
|
-
vectork_add(&values->t, &values->t, &priv->s2);
|
1196
|
-
|
1197
|
-
vectork_power2_round(&values->pub.t1, &priv->t0, &values->t);
|
1198
|
-
// t1 is public.
|
1199
|
-
CONSTTIME_DECLASSIFY(&values->pub.t1, sizeof(values->pub.t1));
|
1200
|
-
|
1201
|
-
CBB cbb;
|
1202
|
-
CBB_init_fixed(&cbb, out_encoded_public_key, DILITHIUM_PUBLIC_KEY_BYTES);
|
1203
|
-
if (!dilithium_marshal_public_key(&cbb, &values->pub)) {
|
1204
|
-
goto err;
|
1205
|
-
}
|
1206
|
-
|
1207
|
-
BORINGSSL_keccak(priv->public_key_hash, sizeof(priv->public_key_hash),
|
1208
|
-
out_encoded_public_key, DILITHIUM_PUBLIC_KEY_BYTES,
|
1209
|
-
boringssl_shake256);
|
1210
|
-
|
1211
|
-
ret = 1;
|
1212
|
-
err:
|
1213
|
-
OPENSSL_free(values);
|
1214
|
-
return ret;
|
1215
|
-
}
|
1216
|
-
|
1217
|
-
int DILITHIUM_public_from_private(
|
1218
|
-
struct DILITHIUM_public_key *out_public_key,
|
1219
|
-
const struct DILITHIUM_private_key *private_key) {
|
1220
|
-
int ret = 0;
|
1221
|
-
|
1222
|
-
// Intermediate values, allocated on the heap to allow use when there is a
|
1223
|
-
// limited amount of stack.
|
1224
|
-
struct values_st {
|
1225
|
-
matrix a_ntt;
|
1226
|
-
vectorl s1_ntt;
|
1227
|
-
vectork t;
|
1228
|
-
vectork t0;
|
1229
|
-
};
|
1230
|
-
struct values_st *values = OPENSSL_malloc(sizeof(*values));
|
1231
|
-
if (values == NULL) {
|
1232
|
-
goto err;
|
1233
|
-
}
|
1234
|
-
|
1235
|
-
const struct private_key *priv = private_key_from_external(private_key);
|
1236
|
-
struct public_key *pub = public_key_from_external(out_public_key);
|
1237
|
-
|
1238
|
-
OPENSSL_memcpy(pub->rho, priv->rho, sizeof(pub->rho));
|
1239
|
-
OPENSSL_memcpy(pub->public_key_hash, priv->public_key_hash,
|
1240
|
-
sizeof(pub->public_key_hash));
|
1241
|
-
|
1242
|
-
matrix_expand(&values->a_ntt, priv->rho);
|
1243
|
-
|
1244
|
-
OPENSSL_memcpy(&values->s1_ntt, &priv->s1, sizeof(values->s1_ntt));
|
1245
|
-
vectorl_ntt(&values->s1_ntt);
|
1246
|
-
|
1247
|
-
matrix_mult(&values->t, &values->a_ntt, &values->s1_ntt);
|
1248
|
-
vectork_inverse_ntt(&values->t);
|
1249
|
-
vectork_add(&values->t, &values->t, &priv->s2);
|
1250
|
-
|
1251
|
-
vectork_power2_round(&pub->t1, &values->t0, &values->t);
|
1252
|
-
|
1253
|
-
ret = 1;
|
1254
|
-
err:
|
1255
|
-
OPENSSL_free(values);
|
1256
|
-
return ret;
|
1257
|
-
}
|
1258
|
-
|
1259
|
-
// FIPS 204, Algorithm 2 (`ML-DSA.Sign`). Returns 1 on success and 0 on failure.
|
1260
|
-
static int dilithium_sign_with_randomizer(
|
1261
|
-
uint8_t out_encoded_signature[DILITHIUM_SIGNATURE_BYTES],
|
1262
|
-
const struct DILITHIUM_private_key *private_key, const uint8_t *msg,
|
1263
|
-
size_t msg_len,
|
1264
|
-
const uint8_t randomizer[DILITHIUM_SIGNATURE_RANDOMIZER_BYTES]) {
|
1265
|
-
int ret = 0;
|
1266
|
-
|
1267
|
-
const struct private_key *priv = private_key_from_external(private_key);
|
1268
|
-
|
1269
|
-
uint8_t mu[MU_BYTES];
|
1270
|
-
struct BORINGSSL_keccak_st keccak_ctx;
|
1271
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
1272
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, priv->public_key_hash,
|
1273
|
-
sizeof(priv->public_key_hash));
|
1274
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, msg, msg_len);
|
1275
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, mu, MU_BYTES);
|
1276
|
-
|
1277
|
-
uint8_t rho_prime[RHO_PRIME_BYTES];
|
1278
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
1279
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, priv->k, sizeof(priv->k));
|
1280
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, randomizer,
|
1281
|
-
DILITHIUM_SIGNATURE_RANDOMIZER_BYTES);
|
1282
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, mu, MU_BYTES);
|
1283
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, rho_prime, RHO_PRIME_BYTES);
|
1284
|
-
|
1285
|
-
// Intermediate values, allocated on the heap to allow use when there is a
|
1286
|
-
// limited amount of stack.
|
1287
|
-
struct values_st {
|
1288
|
-
struct signature sign;
|
1289
|
-
vectorl s1_ntt;
|
1290
|
-
vectork s2_ntt;
|
1291
|
-
vectork t0_ntt;
|
1292
|
-
matrix a_ntt;
|
1293
|
-
vectorl y;
|
1294
|
-
vectorl y_ntt;
|
1295
|
-
vectork w;
|
1296
|
-
vectork w1;
|
1297
|
-
vectorl cs1;
|
1298
|
-
vectork cs2;
|
1299
|
-
vectork r0;
|
1300
|
-
vectork ct0;
|
1301
|
-
};
|
1302
|
-
struct values_st *values = OPENSSL_malloc(sizeof(*values));
|
1303
|
-
if (values == NULL) {
|
1304
|
-
goto err;
|
1305
|
-
}
|
1306
|
-
OPENSSL_memcpy(&values->s1_ntt, &priv->s1, sizeof(values->s1_ntt));
|
1307
|
-
vectorl_ntt(&values->s1_ntt);
|
1308
|
-
|
1309
|
-
OPENSSL_memcpy(&values->s2_ntt, &priv->s2, sizeof(values->s2_ntt));
|
1310
|
-
vectork_ntt(&values->s2_ntt);
|
1311
|
-
|
1312
|
-
OPENSSL_memcpy(&values->t0_ntt, &priv->t0, sizeof(values->t0_ntt));
|
1313
|
-
vectork_ntt(&values->t0_ntt);
|
1314
|
-
|
1315
|
-
matrix_expand(&values->a_ntt, priv->rho);
|
1316
|
-
|
1317
|
-
for (size_t kappa = 0;; kappa += L) {
|
1318
|
-
// TODO(bbe): y only lives long enough to compute y_ntt.
|
1319
|
-
// consider using another vectorl to save memory.
|
1320
|
-
vectorl_expand_mask(&values->y, rho_prime, kappa);
|
1321
|
-
|
1322
|
-
OPENSSL_memcpy(&values->y_ntt, &values->y, sizeof(values->y_ntt));
|
1323
|
-
vectorl_ntt(&values->y_ntt);
|
1324
|
-
|
1325
|
-
// TODO(bbe): w only lives long enough to compute y_ntt.
|
1326
|
-
// consider using another vectork to save memory.
|
1327
|
-
matrix_mult(&values->w, &values->a_ntt, &values->y_ntt);
|
1328
|
-
vectork_inverse_ntt(&values->w);
|
1329
|
-
|
1330
|
-
vectork_high_bits(&values->w1, &values->w);
|
1331
|
-
uint8_t w1_encoded[128 * K];
|
1332
|
-
w1_encode(w1_encoded, &values->w1);
|
1333
|
-
|
1334
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
1335
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, mu, MU_BYTES);
|
1336
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, w1_encoded, 128 * K);
|
1337
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, values->sign.c_tilde,
|
1338
|
-
2 * LAMBDA_BYTES);
|
1339
|
-
|
1340
|
-
scalar c_ntt;
|
1341
|
-
scalar_sample_in_ball_vartime(&c_ntt, values->sign.c_tilde, 32);
|
1342
|
-
scalar_ntt(&c_ntt);
|
1343
|
-
|
1344
|
-
vectorl_mult_scalar(&values->cs1, &values->s1_ntt, &c_ntt);
|
1345
|
-
vectorl_inverse_ntt(&values->cs1);
|
1346
|
-
vectork_mult_scalar(&values->cs2, &values->s2_ntt, &c_ntt);
|
1347
|
-
vectork_inverse_ntt(&values->cs2);
|
1348
|
-
|
1349
|
-
vectorl_add(&values->sign.z, &values->y, &values->cs1);
|
1350
|
-
|
1351
|
-
vectork_sub(&values->r0, &values->w, &values->cs2);
|
1352
|
-
vectork_low_bits(&values->r0, &values->r0);
|
1353
|
-
|
1354
|
-
// Leaking the fact that a signature was rejected is fine as the next
|
1355
|
-
// attempt at a signature will be (indistinguishable from) independent of
|
1356
|
-
// this one. Note, however, that we additionally leak which of the two
|
1357
|
-
// branches rejected the signature. Section 5.5 of
|
1358
|
-
// https://pq-crystals.org/dilithium/data/dilithium-specification-round3.pdf
|
1359
|
-
// describes this leak as OK. Note we leak less than what is described by
|
1360
|
-
// the paper; we do not reveal which coefficient violated the bound, and we
|
1361
|
-
// hide which of the |z_max| or |r0_max| bound failed. See also
|
1362
|
-
// https://boringssl-review.googlesource.com/c/boringssl/+/67747/comment/2bbab0fa_d241d35a/
|
1363
|
-
uint32_t z_max = vectorl_max(&values->sign.z);
|
1364
|
-
uint32_t r0_max = vectork_max_signed(&values->r0);
|
1365
|
-
if (constant_time_declassify_w(
|
1366
|
-
constant_time_ge_w(z_max, kGamma1 - BETA) |
|
1367
|
-
constant_time_ge_w(r0_max, kGamma2 - BETA))) {
|
1368
|
-
continue;
|
1369
|
-
}
|
1370
|
-
|
1371
|
-
vectork_mult_scalar(&values->ct0, &values->t0_ntt, &c_ntt);
|
1372
|
-
vectork_inverse_ntt(&values->ct0);
|
1373
|
-
vectork_make_hint(&values->sign.h, &values->ct0, &values->cs2, &values->w);
|
1374
|
-
|
1375
|
-
// See above.
|
1376
|
-
uint32_t ct0_max = vectork_max(&values->ct0);
|
1377
|
-
size_t h_ones = vectork_count_ones(&values->sign.h);
|
1378
|
-
if (constant_time_declassify_w(constant_time_ge_w(ct0_max, kGamma2) |
|
1379
|
-
constant_time_lt_w(OMEGA, h_ones))) {
|
1380
|
-
continue;
|
1381
|
-
}
|
1382
|
-
|
1383
|
-
// Although computed with the private key, the signature is public.
|
1384
|
-
CONSTTIME_DECLASSIFY(values->sign.c_tilde, sizeof(values->sign.c_tilde));
|
1385
|
-
CONSTTIME_DECLASSIFY(&values->sign.z, sizeof(values->sign.z));
|
1386
|
-
CONSTTIME_DECLASSIFY(&values->sign.h, sizeof(values->sign.h));
|
1387
|
-
|
1388
|
-
CBB cbb;
|
1389
|
-
CBB_init_fixed(&cbb, out_encoded_signature, DILITHIUM_SIGNATURE_BYTES);
|
1390
|
-
if (!dilithium_marshal_signature(&cbb, &values->sign)) {
|
1391
|
-
goto err;
|
1392
|
-
}
|
1393
|
-
|
1394
|
-
BSSL_CHECK(CBB_len(&cbb) == DILITHIUM_SIGNATURE_BYTES);
|
1395
|
-
ret = 1;
|
1396
|
-
break;
|
1397
|
-
}
|
1398
|
-
|
1399
|
-
err:
|
1400
|
-
OPENSSL_free(values);
|
1401
|
-
return ret;
|
1402
|
-
}
|
1403
|
-
|
1404
|
-
// Dilithium signature in deterministic mode. Returns 1 on success and 0 on
|
1405
|
-
// failure.
|
1406
|
-
int DILITHIUM_sign_deterministic(
|
1407
|
-
uint8_t out_encoded_signature[DILITHIUM_SIGNATURE_BYTES],
|
1408
|
-
const struct DILITHIUM_private_key *private_key, const uint8_t *msg,
|
1409
|
-
size_t msg_len) {
|
1410
|
-
uint8_t randomizer[DILITHIUM_SIGNATURE_RANDOMIZER_BYTES];
|
1411
|
-
OPENSSL_memset(randomizer, 0, sizeof(randomizer));
|
1412
|
-
return dilithium_sign_with_randomizer(out_encoded_signature, private_key, msg,
|
1413
|
-
msg_len, randomizer);
|
1414
|
-
}
|
1415
|
-
|
1416
|
-
// Dilithium signature in randomized mode, filling the random bytes with
|
1417
|
-
// |RAND_bytes|. Returns 1 on success and 0 on failure.
|
1418
|
-
int DILITHIUM_sign(uint8_t out_encoded_signature[DILITHIUM_SIGNATURE_BYTES],
|
1419
|
-
const struct DILITHIUM_private_key *private_key,
|
1420
|
-
const uint8_t *msg, size_t msg_len) {
|
1421
|
-
uint8_t randomizer[DILITHIUM_SIGNATURE_RANDOMIZER_BYTES];
|
1422
|
-
RAND_bytes(randomizer, sizeof(randomizer));
|
1423
|
-
return dilithium_sign_with_randomizer(out_encoded_signature, private_key, msg,
|
1424
|
-
msg_len, randomizer);
|
1425
|
-
}
|
1426
|
-
|
1427
|
-
// FIPS 204, Algorithm 3 (`ML-DSA.Verify`).
|
1428
|
-
int DILITHIUM_verify(const struct DILITHIUM_public_key *public_key,
|
1429
|
-
const uint8_t encoded_signature[DILITHIUM_SIGNATURE_BYTES],
|
1430
|
-
const uint8_t *msg, size_t msg_len) {
|
1431
|
-
int ret = 0;
|
1432
|
-
|
1433
|
-
// Intermediate values, allocated on the heap to allow use when there is a
|
1434
|
-
// limited amount of stack.
|
1435
|
-
struct values_st {
|
1436
|
-
struct signature sign;
|
1437
|
-
matrix a_ntt;
|
1438
|
-
vectorl z_ntt;
|
1439
|
-
vectork az_ntt;
|
1440
|
-
vectork t1_ntt;
|
1441
|
-
vectork ct1_ntt;
|
1442
|
-
vectork w_approx;
|
1443
|
-
vectork w1;
|
1444
|
-
};
|
1445
|
-
struct values_st *values = OPENSSL_malloc(sizeof(*values));
|
1446
|
-
if (values == NULL) {
|
1447
|
-
goto err;
|
1448
|
-
}
|
1449
|
-
|
1450
|
-
const struct public_key *pub = public_key_from_external(public_key);
|
1451
|
-
|
1452
|
-
CBS cbs;
|
1453
|
-
CBS_init(&cbs, encoded_signature, DILITHIUM_SIGNATURE_BYTES);
|
1454
|
-
if (!dilithium_parse_signature(&values->sign, &cbs)) {
|
1455
|
-
goto err;
|
1456
|
-
}
|
1457
|
-
|
1458
|
-
matrix_expand(&values->a_ntt, pub->rho);
|
1459
|
-
|
1460
|
-
uint8_t mu[MU_BYTES];
|
1461
|
-
struct BORINGSSL_keccak_st keccak_ctx;
|
1462
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
1463
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, pub->public_key_hash,
|
1464
|
-
sizeof(pub->public_key_hash));
|
1465
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, msg, msg_len);
|
1466
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, mu, MU_BYTES);
|
1467
|
-
|
1468
|
-
scalar c_ntt;
|
1469
|
-
scalar_sample_in_ball_vartime(&c_ntt, values->sign.c_tilde, 32);
|
1470
|
-
scalar_ntt(&c_ntt);
|
1471
|
-
|
1472
|
-
OPENSSL_memcpy(&values->z_ntt, &values->sign.z, sizeof(values->z_ntt));
|
1473
|
-
vectorl_ntt(&values->z_ntt);
|
1474
|
-
|
1475
|
-
matrix_mult(&values->az_ntt, &values->a_ntt, &values->z_ntt);
|
1476
|
-
|
1477
|
-
vectork_scale_power2_round(&values->t1_ntt, &pub->t1);
|
1478
|
-
vectork_ntt(&values->t1_ntt);
|
1479
|
-
|
1480
|
-
vectork_mult_scalar(&values->ct1_ntt, &values->t1_ntt, &c_ntt);
|
1481
|
-
|
1482
|
-
vectork_sub(&values->w_approx, &values->az_ntt, &values->ct1_ntt);
|
1483
|
-
vectork_inverse_ntt(&values->w_approx);
|
1484
|
-
|
1485
|
-
vectork_use_hint_vartime(&values->w1, &values->sign.h, &values->w_approx);
|
1486
|
-
uint8_t w1_encoded[128 * K];
|
1487
|
-
w1_encode(w1_encoded, &values->w1);
|
1488
|
-
|
1489
|
-
uint8_t c_tilde[2 * LAMBDA_BYTES];
|
1490
|
-
BORINGSSL_keccak_init(&keccak_ctx, boringssl_shake256);
|
1491
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, mu, MU_BYTES);
|
1492
|
-
BORINGSSL_keccak_absorb(&keccak_ctx, w1_encoded, 128 * K);
|
1493
|
-
BORINGSSL_keccak_squeeze(&keccak_ctx, c_tilde, 2 * LAMBDA_BYTES);
|
1494
|
-
|
1495
|
-
uint32_t z_max = vectorl_max(&values->sign.z);
|
1496
|
-
size_t h_ones = vectork_count_ones(&values->sign.h);
|
1497
|
-
if (z_max < kGamma1 - BETA && h_ones <= OMEGA &&
|
1498
|
-
OPENSSL_memcmp(c_tilde, values->sign.c_tilde, 2 * LAMBDA_BYTES) == 0) {
|
1499
|
-
ret = 1;
|
1500
|
-
}
|
1501
|
-
|
1502
|
-
err:
|
1503
|
-
OPENSSL_free(values);
|
1504
|
-
return ret;
|
1505
|
-
}
|
1506
|
-
|
1507
|
-
/* Serialization of keys. */
|
1508
|
-
|
1509
|
-
int DILITHIUM_marshal_public_key(
|
1510
|
-
CBB *out, const struct DILITHIUM_public_key *public_key) {
|
1511
|
-
return dilithium_marshal_public_key(out,
|
1512
|
-
public_key_from_external(public_key));
|
1513
|
-
}
|
1514
|
-
|
1515
|
-
int DILITHIUM_parse_public_key(struct DILITHIUM_public_key *public_key,
|
1516
|
-
CBS *in) {
|
1517
|
-
struct public_key *pub = public_key_from_external(public_key);
|
1518
|
-
CBS orig_in = *in;
|
1519
|
-
if (!dilithium_parse_public_key(pub, in) || CBS_len(in) != 0) {
|
1520
|
-
return 0;
|
1521
|
-
}
|
1522
|
-
|
1523
|
-
// Compute pre-cached values.
|
1524
|
-
BORINGSSL_keccak(pub->public_key_hash, sizeof(pub->public_key_hash),
|
1525
|
-
CBS_data(&orig_in), CBS_len(&orig_in), boringssl_shake256);
|
1526
|
-
return 1;
|
1527
|
-
}
|
1528
|
-
|
1529
|
-
int DILITHIUM_marshal_private_key(
|
1530
|
-
CBB *out, const struct DILITHIUM_private_key *private_key) {
|
1531
|
-
return dilithium_marshal_private_key(out,
|
1532
|
-
private_key_from_external(private_key));
|
1533
|
-
}
|
1534
|
-
|
1535
|
-
int DILITHIUM_parse_private_key(struct DILITHIUM_private_key *private_key,
|
1536
|
-
CBS *in) {
|
1537
|
-
struct private_key *priv = private_key_from_external(private_key);
|
1538
|
-
return dilithium_parse_private_key(priv, in) && CBS_len(in) == 0;
|
1539
|
-
}
|