Nomos related specification and documentation
Go to file
Youngjoon Lee 83011bc051
use https instead of ssh in .gitmodules
2024-07-17 11:56:32 +09:00
.github/workflows Add eth-specs submodule (#60) 2024-01-31 09:53:04 +01:00
carnot Specify shuffling algorithm (#37) 2024-01-31 09:33:44 +01:00
cl CL: expand scope of nullifier proof to an "input proof" (#106) 2024-07-16 18:34:26 +04:00
cryptarchia Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
da Da: fk20 fixes (#96) 2024-06-26 17:27:29 +02:00
eth-specs@ae3ef6f330 Add eth-specs submodule (#60) 2024-01-31 09:53:04 +01:00
goas cl/integrate risc0 (#103) 2024-07-15 16:51:21 +04:00
mixnet Embed Robustness into `mixnet.py` (#61) 2024-02-08 15:39:50 +09:00
.gitignore rename LedgerState.head to LedgerState.block 2024-01-25 14:25:37 +04:00
.gitmodules use https instead of ssh in .gitmodules 2024-07-17 11:56:32 +09:00
README.md Specify mock-leader-proof in message spec 2024-02-02 01:16:14 +04:00
install-arkworksbls-arch64-osx.sh Arkworks dependency utility script (#71) 2024-02-11 23:15:15 +01:00
install-eth-specs.sh Add eth-specs submodule (#60) 2024-01-31 09:53:04 +01:00
pyproject.toml Add pyproject.toml so that other projects can reference it 2024-07-17 10:51:31 +09:00
requirements.txt CL spec (#92) 2024-07-09 17:10:32 +04:00

README.md

nomos-specs

Nomos related specification and documentation

Running Tests

To run all tests, run the following from the project root

python -m unittest -v

To test a specific module

python -m unittest -v cryptarchia.test_leader

Or all test modules in a directory

python -m unittest -v cryptarchia/test_*