logos-co
/
nomos-specs
mirror of https://github.com/logos-co/nomos-specs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Nomos related specification and documentation
85 Commits 70 Branches 0 Tags 3.8 MiB
Python 99.9%
Shell 0.1%
Go to file
Daniel Sanchez 422359acd7
Da: fk20 proof generation (#95) 
* Kickstart fk20

* Implement i/fft from ethspecs

* Expand test to different sizes

* Implement toeplizt

* Finish implementing fk20

* Fix roots of unity generation

* Implement fft for g1 values

* Fix fk20 and tests

* Add len assertion in test

* Fix roots computations

* Fix test

* Fix imports

* Fmt

* Docs and format
 		2024-06-17 09:20:11 +02: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
cryptarchia Stake Relativization Specification + Fixes (#86) 2024-03-23 05:50:00 +04:00
da Da: fk20 proof generation (#95) 2024-06-17 09:20:11 +02:00
eth-specs@ae3ef6f330 Add eth-specs submodule (#60) 2024-01-31 09:53:04 +01: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 Add eth-specs submodule (#60) 2024-01-31 09:53:04 +01: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
requirements.txt Da: fk20 proof generation (#95) 2024-06-17 09:20:11 +02: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_*