extrakeys: add hsort, in-place, iterative heapsort
This commit is contained in:
parent
d9560e0af7
commit
f31affd8a6
@ -2,3 +2,5 @@ include_HEADERS += include/secp256k1_extrakeys.h
|
|||||||
noinst_HEADERS += src/modules/extrakeys/tests_impl.h
|
noinst_HEADERS += src/modules/extrakeys/tests_impl.h
|
||||||
noinst_HEADERS += src/modules/extrakeys/tests_exhaustive_impl.h
|
noinst_HEADERS += src/modules/extrakeys/tests_exhaustive_impl.h
|
||||||
noinst_HEADERS += src/modules/extrakeys/main_impl.h
|
noinst_HEADERS += src/modules/extrakeys/main_impl.h
|
||||||
|
noinst_HEADERS += src/modules/extrakeys/hsort.h
|
||||||
|
noinst_HEADERS += src/modules/extrakeys/hsort_impl.h
|
||||||
|
22
src/modules/extrakeys/hsort.h
Normal file
22
src/modules/extrakeys/hsort.h
Normal file
@ -0,0 +1,22 @@
|
|||||||
|
/***********************************************************************
|
||||||
|
* Copyright (c) 2021 Russell O'Connor, Jonas Nick *
|
||||||
|
* Distributed under the MIT software license, see the accompanying *
|
||||||
|
* file COPYING or https://www.opensource.org/licenses/mit-license.php.*
|
||||||
|
***********************************************************************/
|
||||||
|
|
||||||
|
#ifndef SECP256K1_HSORT_H_
|
||||||
|
#define SECP256K1_HSORT_H_
|
||||||
|
|
||||||
|
#include <stddef.h>
|
||||||
|
#include <string.h>
|
||||||
|
|
||||||
|
/* In-place, iterative heapsort with an interface matching glibc's qsort_r. This
|
||||||
|
* is preferred over standard library implementations because they generally
|
||||||
|
* make no guarantee about being fast for malicious inputs.
|
||||||
|
*
|
||||||
|
* See the qsort_r manpage for a description of the interface.
|
||||||
|
*/
|
||||||
|
static void secp256k1_hsort(void *ptr, size_t count, size_t size,
|
||||||
|
int (*cmp)(const void *, const void *, void *),
|
||||||
|
void *cmp_data);
|
||||||
|
#endif
|
116
src/modules/extrakeys/hsort_impl.h
Normal file
116
src/modules/extrakeys/hsort_impl.h
Normal file
@ -0,0 +1,116 @@
|
|||||||
|
/***********************************************************************
|
||||||
|
* Copyright (c) 2021 Russell O'Connor, Jonas Nick *
|
||||||
|
* Distributed under the MIT software license, see the accompanying *
|
||||||
|
* file COPYING or https://www.opensource.org/licenses/mit-license.php.*
|
||||||
|
***********************************************************************/
|
||||||
|
|
||||||
|
#ifndef SECP256K1_HSORT_IMPL_H_
|
||||||
|
#define SECP256K1_HSORT_IMPL_H_
|
||||||
|
|
||||||
|
#include "hsort.h"
|
||||||
|
|
||||||
|
/* An array is a heap when, for all non-zero indexes i, the element at index i
|
||||||
|
* compares as less than or equal to the element at index parent(i) = (i-1)/2.
|
||||||
|
*/
|
||||||
|
|
||||||
|
static SECP256K1_INLINE size_t child1(size_t i) {
|
||||||
|
VERIFY_CHECK(i <= (SIZE_MAX - 1)/2);
|
||||||
|
return 2*i + 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
static SECP256K1_INLINE size_t child2(size_t i) {
|
||||||
|
VERIFY_CHECK(i <= SIZE_MAX/2 - 1);
|
||||||
|
return child1(i)+1;
|
||||||
|
}
|
||||||
|
|
||||||
|
static SECP256K1_INLINE void swap64(unsigned char *a, size_t i, size_t j, size_t stride) {
|
||||||
|
unsigned char tmp[64];
|
||||||
|
VERIFY_CHECK(stride <= 64);
|
||||||
|
memcpy(tmp, a + i*stride, stride);
|
||||||
|
memmove(a + i*stride, a + j*stride, stride);
|
||||||
|
memcpy(a + j*stride, tmp, stride);
|
||||||
|
}
|
||||||
|
|
||||||
|
static SECP256K1_INLINE void swap(unsigned char *a, size_t i, size_t j, size_t stride) {
|
||||||
|
while (64 < stride) {
|
||||||
|
swap64(a + (stride - 64), i, j, 64);
|
||||||
|
stride -= 64;
|
||||||
|
}
|
||||||
|
swap64(a, i, j, stride);
|
||||||
|
}
|
||||||
|
|
||||||
|
static SECP256K1_INLINE void heap_down(unsigned char *a, size_t i, size_t heap_size, size_t stride,
|
||||||
|
int (*cmp)(const void *, const void *, void *), void *cmp_data) {
|
||||||
|
while (i < heap_size/2) {
|
||||||
|
VERIFY_CHECK(i <= SIZE_MAX/2 - 1);
|
||||||
|
/* Proof:
|
||||||
|
* i < heap_size/2
|
||||||
|
* i + 1 <= heap_size/2
|
||||||
|
* 2*i + 2 <= heap_size <= SIZE_MAX
|
||||||
|
* 2*i <= SIZE_MAX - 2
|
||||||
|
*/
|
||||||
|
|
||||||
|
VERIFY_CHECK(child1(i) < heap_size);
|
||||||
|
/* Proof:
|
||||||
|
* i < heap_size/2
|
||||||
|
* i + 1 <= heap_size/2
|
||||||
|
* 2*i + 2 <= heap_size
|
||||||
|
* 2*i + 1 < heap_size
|
||||||
|
* child1(i) < heap_size
|
||||||
|
*/
|
||||||
|
|
||||||
|
/* Let [x] be notation for the contents at a[x*stride].
|
||||||
|
*
|
||||||
|
* If [child1(i)] > [i] and [child2(i)] > [i],
|
||||||
|
* swap [i] with the larger child to ensure the new parent is larger
|
||||||
|
* than both children. When [child1(i)] == [child2(i)], swap [i] with
|
||||||
|
* [child2(i)].
|
||||||
|
* Else if [child1(i)] > [i], swap [i] with [child1(i)].
|
||||||
|
* Else if [child2(i)] > [i], swap [i] with [child2(i)].
|
||||||
|
*/
|
||||||
|
if (child2(i) < heap_size
|
||||||
|
&& 0 <= cmp(a + child2(i)*stride, a + child1(i)*stride, cmp_data)) {
|
||||||
|
if (0 < cmp(a + child2(i)*stride, a + i*stride, cmp_data)) {
|
||||||
|
swap(a, i, child2(i), stride);
|
||||||
|
i = child2(i);
|
||||||
|
} else {
|
||||||
|
/* At this point we have [child2(i)] >= [child1(i)] and we have
|
||||||
|
* [child2(i)] <= [i], and thus [child1(i)] <= [i] which means
|
||||||
|
* that the next comparison can be skipped. */
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
} else if (0 < cmp(a + child1(i)*stride, a + i*stride, cmp_data)) {
|
||||||
|
swap(a, i, child1(i), stride);
|
||||||
|
i = child1(i);
|
||||||
|
} else {
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
/* heap_size/2 <= i
|
||||||
|
* heap_size/2 < i + 1
|
||||||
|
* heap_size < 2*i + 2
|
||||||
|
* heap_size <= 2*i + 1
|
||||||
|
* heap_size <= child1(i)
|
||||||
|
* Thus child1(i) and child2(i) are now out of bounds and we are at a leaf.
|
||||||
|
*/
|
||||||
|
}
|
||||||
|
|
||||||
|
/* In-place heap sort. */
|
||||||
|
static void secp256k1_hsort(void *ptr, size_t count, size_t size,
|
||||||
|
int (*cmp)(const void *, const void *, void *),
|
||||||
|
void *cmp_data ) {
|
||||||
|
size_t i;
|
||||||
|
|
||||||
|
for(i = count/2; 0 < i; --i) {
|
||||||
|
heap_down(ptr, i-1, count, size, cmp, cmp_data);
|
||||||
|
}
|
||||||
|
for(i = count; 1 < i; --i) {
|
||||||
|
/* Extract the largest value from the heap */
|
||||||
|
swap(ptr, 0, i-1, size);
|
||||||
|
|
||||||
|
/* Repair the heap condition */
|
||||||
|
heap_down(ptr, 0, i-1, size, cmp, cmp_data);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
#endif
|
@ -9,6 +9,7 @@
|
|||||||
|
|
||||||
#include "../../../include/secp256k1.h"
|
#include "../../../include/secp256k1.h"
|
||||||
#include "../../../include/secp256k1_extrakeys.h"
|
#include "../../../include/secp256k1_extrakeys.h"
|
||||||
|
#include "hsort_impl.h"
|
||||||
|
|
||||||
static SECP256K1_INLINE int secp256k1_xonly_pubkey_load(const secp256k1_context* ctx, secp256k1_ge *ge, const secp256k1_xonly_pubkey *pubkey) {
|
static SECP256K1_INLINE int secp256k1_xonly_pubkey_load(const secp256k1_context* ctx, secp256k1_ge *ge, const secp256k1_xonly_pubkey *pubkey) {
|
||||||
return secp256k1_pubkey_load(ctx, ge, (const secp256k1_pubkey *) pubkey);
|
return secp256k1_pubkey_load(ctx, ge, (const secp256k1_pubkey *) pubkey);
|
||||||
|
@ -571,6 +571,46 @@ void test_keypair_add(void) {
|
|||||||
secp256k1_context_destroy(verify);
|
secp256k1_context_destroy(verify);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void test_hsort_is_sorted(int *ints, size_t n) {
|
||||||
|
size_t i;
|
||||||
|
for (i = 1; i < n; i++) {
|
||||||
|
CHECK(ints[i-1] <= ints[i]);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
static int test_hsort_cmp(const void *i1, const void *i2, void *counter) {
|
||||||
|
*(size_t*)counter += 1;
|
||||||
|
return *(int*)i1 - *(int*)i2;
|
||||||
|
}
|
||||||
|
|
||||||
|
#define NUM 64
|
||||||
|
void test_hsort(void) {
|
||||||
|
int ints[NUM] = { 0 };
|
||||||
|
size_t counter = 0;
|
||||||
|
int i, j;
|
||||||
|
|
||||||
|
secp256k1_hsort(ints, 0, sizeof(ints[0]), test_hsort_cmp, &counter);
|
||||||
|
CHECK(counter == 0);
|
||||||
|
secp256k1_hsort(ints, 1, sizeof(ints[0]), test_hsort_cmp, &counter);
|
||||||
|
CHECK(counter == 0);
|
||||||
|
secp256k1_hsort(ints, NUM, sizeof(ints[0]), test_hsort_cmp, &counter);
|
||||||
|
CHECK(counter > 0);
|
||||||
|
test_hsort_is_sorted(ints, NUM);
|
||||||
|
|
||||||
|
/* Test hsort with length n array and random elements in
|
||||||
|
* [-interval/2, interval/2] */
|
||||||
|
for (i = 0; i < count; i++) {
|
||||||
|
int n = secp256k1_testrand_int(NUM);
|
||||||
|
int interval = secp256k1_testrand_int(64);
|
||||||
|
for (j = 0; j < n; j++) {
|
||||||
|
ints[j] = secp256k1_testrand_int(interval) - interval/2;
|
||||||
|
}
|
||||||
|
secp256k1_hsort(ints, n, sizeof(ints[0]), test_hsort_cmp, &counter);
|
||||||
|
test_hsort_is_sorted(ints, n);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
#undef NUM
|
||||||
|
|
||||||
void run_extrakeys_tests(void) {
|
void run_extrakeys_tests(void) {
|
||||||
/* xonly key test cases */
|
/* xonly key test cases */
|
||||||
test_xonly_pubkey();
|
test_xonly_pubkey();
|
||||||
@ -582,6 +622,8 @@ void run_extrakeys_tests(void) {
|
|||||||
/* keypair tests */
|
/* keypair tests */
|
||||||
test_keypair();
|
test_keypair();
|
||||||
test_keypair_add();
|
test_keypair_add();
|
||||||
|
|
||||||
|
test_hsort();
|
||||||
}
|
}
|
||||||
|
|
||||||
#endif
|
#endif
|
||||||
|
Loading…
x
Reference in New Issue
Block a user