basic multisig 1 of 3 without nonce check - #1

Merged

KyrylR merged 13 commits into

mainfrom

Jun 30, 2026

Commits on Jun 17, 2026

basic multisig 1 of 3 without nonce check
KyrylR
committed
811f469

Commits on Jun 18, 2026

completed core checks of the multisig
KyrylR
committed
5ab64fb
Addressed some edge cases (not included multisig, uncounted vote inputs)
KyrylR
committed
08e50ce

Commits on Jun 29, 2026

remove uniffi (can be added later if mobile integration is necessary)
KyrylR
committed
06c4deb
add check to the multisig that participants are distinct
KyrylR
committed
4ce4f54

Commits on Jun 30, 2026

cleaned up README, added licenses
KyrylR
committed
df5ecf6
removed artifacts from the gitignore
KyrylR
committed
0139498
added deps for the demo web development
KyrylR
committed
0f21b9d
completed regtest, sdk, and foundation work for the web integration
KyrylR
committed
4b8eb53
replaced TODO with a compiler note
KyrylR
committed
206693e
created wasm package for easier web integration
KyrylR
committed
20870c9
added demo web app to showcase how multisig works
KyrylR
committed
d8f5ed1
started formal verification of the multisig for rocq
KyrylR
committed
e70c806