Skip to content

halfagg: Add Python specification and extensive test vectors #21

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

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

halfagg: Add Python specification and extensive test vectors #21

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
9135eb7
halfagg: Add python implementation and extended test vectors
fjahr Jan 8, 2026
6a6c591
Update halfagg BIP to point to python specification and test vectors
fjahr Jan 9, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 5 additions & 6 deletions half-aggregation.mediawiki
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -69,18 +69,17 @@ Moreover, they came up with an elegant approach to incremental aggregation that

=== Specification ===

The specification is written in [https://github.com/hacspec/hacspec hacspec], a language for formal specifications and a subset of rust.
It can be found in the [[hacspec-halfagg/src/halfagg.rs|hacspec-halfagg directory]].
Note that the specification depends the hacspec library and a [https://github.com/hacspec/hacspec/pull/244 hacspec implementation of BIP 340].
The specification is written in Python and can be found in the [[py-halfagg/halfagg.py|py-halfagg directory]]
Note that the specification depends on the [https://github.com/secp256k1lab/secp256k1lab secp256k1lab library].

=== Test Vectors ===

Preliminary test vectors are provided in [[hacspec-halfagg/tests/tests.rs|tests.rs]].
The specification can be executed with the test vectors by running <code>cargo test</code> in the [[hacspec-halfagg|hacspec-halfagg directory]] (<code>cargo</code> is the [https://doc.rust-lang.org/stable/cargo/ rust package manager]).
Test vectors are provided in [[py-halfagg/vectors/|vectors]] and are generated with a [[py-halfagg/gen_test_vectors.py|generator script]].
The specification can be executed with the test vectors by running [[py-halfagg/run_test_vectors.py|the run_test_vectors script]].

=== Pseudocode ===

The following pseudocode is ''not'' a specification but is only intended to augment the actual hacspec [[#specification|specification]].
The following pseudocode is ''not'' a specification but is only intended to augment the actual Python [[#specification|specification]].

==== Notation ====

Expand Down
Loading