This website requires JavaScript.
Explore
Pricing
Help
Sign In
luxfi
/
proofs
Watch
1
Star
0
Fork
0
mirror of
https://github.com/luxfi/proofs.git
synced
2026-10-30 15:21:05 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
docs/lp-311-dex-settlement-bootstrap-layer8
proofs
/
property
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
zeekay
d0143273f7
property: use neutral RNG seed in WAL/governance tests
2026-06-24 10:34:08 -07:00
..
ceremony_test.go
docs: update comment reference node/vms/zkvm → chains/zkvm
2026-03-02 05:27:49 -07:00
defi_test.go
property: use neutral RNG seed in WAL/governance tests
2026-06-24 10:34:08 -07:00
fhe_noise_test.go
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
go.mod
go: 1.26.3 → 1.26.4 (security: crypto/x509, mime, net/textproto)
2026-06-10 22:34:27 -07:00
go.sum
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
quasar_test.go
proofs: DAG-EVM, DAG-Z-Chain, PQZ parallelism, TLA+ specs, Tamarin, Halmos, property tests
2026-03-02 12:00:00 -08:00
replication_test.go
property: use neutral RNG seed in WAL/governance tests
2026-06-24 10:34:08 -07:00
strict_pq_test.go
proofs: rename pulsarm → pulsar identifiers (decomplect metaphor)
2026-05-20 16:13:36 -07:00