logos-blockchain-specs/requirements.txt

blspy==2.0.3
cffi==1.16.0
cryptography==41.0.7
numpy==1.26.3
pycparser==2.21
pysphinx==0.0.1
scipy==1.11.4
black==23.12.1
sympy==1.12
sh==2.0.6 # used for shelling out to noir
toml==0.10.2 # used for noir
portalocker==2.8.2 # portable file locking
keum==0.2.0 # for CL's use of more obscure curves
poseidon-hash==0.1.4 # used as the algebraic hash in CL
hypothesis==6.103.0
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			`blspy==2.0.3`
Mixnet: Add basic structure and topology construction (#44) 2024-01-10 20:43:33 +09:00			`cffi==1.16.0`
			`cryptography==41.0.7`
Use Python 3.12 and install setuptools (#48) 2024-01-12 19:27:09 +09:00			`numpy==1.26.3`
Mixnet: Add basic structure and topology construction (#44) 2024-01-10 20:43:33 +09:00			`pycparser==2.21`
Mixnet: Sphinx packet builder for mix clients (#47) 2024-01-15 15:17:35 +09:00			`pysphinx==0.0.1`
Use Python 3.12 and install setuptools (#48) 2024-01-12 19:27:09 +09:00			`scipy==1.11.4`
feat(lottery): spec out basic leader slot check 2024-01-25 02:04:35 +04:00			`black==23.12.1`
CL spec (#92) * feat(cl/noir): provide an ergonomic Noir api for use within Python. * Add a python wrapper over the bigger constraint * Add the Bigger wrapper * cl/noir: document the NargoConstraint wrapper api * rewrite Bigger constraint as a dataclass * WIP: Cl/executable spec (#93) * wip: executable spec * WIP: test_1_to_1_transfer * hack: Vacous hash function * crypto: make sure prf returns field elements, fix ECC math in pedcom * hack(crypto): mock up a hash_to_curve implementation * feat(cl/1to1_xfr): fungibility domain uses hash_to_curve * cl: add type checking to InnerNote * cl/ptx: get balance commitments working * cl/noir: mv noir_constraint wrapper into cl/constraints/... * cl/ptx-note-proofs: start data modelling input and outputs * cl/ptx: 1-to-1 test is passing, but still, not quite finished * cl: remove tx_output from 1-to-1 transfer * cl: remove unused classes * cl: testing the balance commitments * wip: cl * cl: split main.rs into crypto.rs and note.rs * cl: split balance test * cl: add nullifier module * cl: partial_tx; input; output * cl: output proof tests * cl: partial transactions can now be built and verified * drop python cl spec * cl: test partial transaction balance commitment * cl: reverse partial tx balance (inputs are neg, outputs are pos) * cl: bundle of ptx * cl: verify bundle isn't balanced with just one unbalanced partial tx * cl: swap out ExtendedPoint for SubgroupPoint * cl: integrate groth16 death constraint validation * add risc0 zone * refactor risc0 zone * fix zone PoC * Add separate bin for stark2snark conv * cl: rename Note to NoteWitness * cl: merkle proofs * cl: merkle tree helper to pad elements * cl: ptx root implemented via merkle roots over inputs and outputs * cl: move from Commitment::from_witness to Witness::commit() * cl: tests passing again * cl: turn data model into library * cl: partial tx can compute paths to inputs / outputs * cl: begin integrating zone into cl data modal * cl: integrate simple zone into CL data model * cl: add missing cl patches * cl: swap jubjub for accel k256 * cl: pre-compute balance unit point outside stark * switch balance commitment to linear combination * cl: pre-compute pederson blinding * fix risc0 patching * switch to curve25519-dalek * cl: drop blake2; print prover time --------- Co-authored-by: Giacomo Pasini <g.pasini98@gmail.com> --------- Co-authored-by: Giacomo Pasini <g.pasini98@gmail.com> 2024-07-09 09:10:32 -04:00			`sympy==1.12`
			`sh==2.0.6 # used for shelling out to noir`
			`toml==0.10.2 # used for noir`
			`portalocker==2.8.2 # portable file locking`
			`keum==0.2.0 # for CL's use of more obscure curves`
			`poseidon-hash==0.1.4 # used as the algebraic hash in CL`
			`hypothesis==6.103.0`