• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
      • Apt
      • Zfc
      • Acre
      • Milawa
      • Smtlink
      • Abnf
      • Vwsim
      • Isar
      • Wp-gen
      • Dimacs-reader
      • Pfcs
      • Legacy-defrstobj
      • Proof-checker-array
      • Soft
      • C
      • Farray
      • Rp-rewriter
      • Instant-runoff-voting
      • Imp-language
      • Sidekick
      • Leftist-trees
      • Java
      • Taspi
      • Bitcoin
      • Riscv
      • Des
      • Ethereum
      • X86isa
      • Sha-2
      • Yul
      • Zcash
      • Proof-checker-itp13
      • Regex
      • ACL2-programming-language
      • Json
      • Jfkr
      • Equational
      • Cryptography
      • Poseidon
        • Poseidon-main-definition
        • Poseidon-instantiations
          • Poseidon-ingonyama-bls-255-neptune
          • Poseidon-ingonyama-bls-255
          • Poseidon-ingonyama-bn-254
          • Poseidon-rate-8-alpha-17
          • Poseidon-rate-4-alpha-17
          • Poseidon-rate-2-alpha-17
      • Where-do-i-place-my-book
      • Axe
      • Bigmems
      • Builtins
      • Execloader
      • Aleo
      • Solidity
      • Paco
      • Concurrent-programs
      • Bls12-377-curves
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
    • Software-verification
    • Math
    • Testing-utilities
  • Poseidon

Poseidon-instantiations

Instantiations of Poseidon hash.

To use Poseidon hash, the parameters must be given explicit values. Here we describe some specific instantiations that are in use in other projects.

Subtopics

Poseidon-ingonyama-bls-255-neptune
Instantiation of Poseidon used by Ingonyama for Neptune.
Poseidon-ingonyama-bls-255
Instantiation of Poseidon used by Ingonyama for the BLS12-381 scalar field.
Poseidon-ingonyama-bn-254
Instantiation of Poseidon used by Ingonyama for the BN-254 scalar field.
Poseidon-rate-8-alpha-17
Instantiation of Poseidon with rate=8 and alpha=17.
Poseidon-rate-4-alpha-17
Instantiation of Poseidon with rate=4 and alpha=17.
Poseidon-rate-2-alpha-17
Instantiation of Poseidon with rate=2 and alpha=17.