List of all items

Structs

• card::AxiRead
• card::AxiReadResp
• card::AxiWrite
• card::AxiWriteResp
• card::CardControl
• card::CardIn
• card::CardOut
• card::Ed25519Card
• card::LiteIn
• card::LiteOut
• card::SigEntry
• compress_stage::CompressIn
• compress_stage::CompressMaps
• compress_stage::CompressMapsIn
• compress_stage::CompressMapsOut
• compress_stage::CompressOut
• compress_stage::CompressStage
• compress_stage::Encoded
• compress_stage::PointIn
• config::BlockCost
• config::Budget
• config::CostTable
• config::Estimate
• config::Profile
• ed25519_sign_core::Ed25519SignCore
• fe17::Fe17
• fe17::FieldAddIn
• fe17::FieldAddOut
• fe17::FieldAddSub
• fe17::FieldMulIn
• fe17::FieldMulOut
• fe17::FieldMulPar
• fe17::MulChain7
• fe17::MulNorm
• fe17::MulRow
• fe17::MulStage
• fe17::MulStageIo
• fe17_kara::FieldMulKara
• fe17_kara::KaraIo
• fe17_kara::KaraRow
• fe17_kara::KaraStage
• frontier::BramLayout
• frontier::Cost
• frontier::Costs
• frontier::Device
• frontier::ModulePlan
• frontier::Point
• frontier::Shape
• frontier::Share
• frontier::SystemBudget
• frontier::SystemPlan
• frontier::VerifyProfile
• host::Ext
• host::Fp
• host::Niels
• machine::ConstRom
• machine::DigitsWrite
• machine::FieldMachine
• machine::InputWrite
• machine::InstrW
• machine::KeyTables
• machine::KeyTablesIn
• machine::MachineIn
• machine::MachineMemory
• machine::MachineOut
• machine::Niels17
• machine::OperandW
• machine::OutEvent
• machine::RegBanks
• machine::RegBanksIn
• machine::RegBanksOut
• machine::ScanMems
• machine::ScanMemsIn
• machine::ScanMemsOut
• machine::StartReq
• machine::TableWrite
• microcode::ASlot
• microcode::Builder
• microcode::Bundle
• microcode::Context
• microcode::MSlot
• microcode::Operand
• microcode::Program
• microcode::TSlot
• planner::Ed25519Sign
• planner::Ed25519Verify
• planner::Sha512Estimate
• planner::ShapeKnobs
• planner::ubft::Ed25519UbftSign
• planner::ubft::Ed25519UbftVerify
• scalar_ring::ScalarDone
• scalar_ring::ScalarJob
• scalar_ring::ScalarRing
• scalar_ring::ScalarRingIn
• scalar_ring::ScalarRingOut
• sha_client::ArbiterIn
• sha_client::ArbiterOut
• sha_client::PipeIn
• sha_client::PipeOut
• sha_client::ShaArbiter
• sha_client::ShaClient
• sha_client::ShaClientIn
• sha_client::ShaClientOut
• sha_client::SharedShaIn
• sha_client::SharedShaOut
• sha_client::SharedShaPort
• sha_ring::ShaDone
• sha_ring::ShaJob
• sha_ring::ShaRing
• sha_ring::ShaRingIn
• sha_ring::ShaRingOut
• sign_core::ScalableSignCore
• sign_core::ScalableSignIn
• sign_core::ScalableSignOut
• sign_core::SignMems
• sign_core::SignMemsIn
• sign_core::SignMemsOut
• simulation::CycleSim
• ubft::AxiLiteIn
• ubft::AxiLiteOut
• ubft::Axis512
• ubft::Axis64
• ubft::Latency
• ubft::UbftEd25519
• ubft::UbftIn
• ubft::UbftOut
• verify_core::KnownKeyVerifyCore
• verify_core::VerifyIn
• verify_core::VerifyMems
• verify_core::VerifyMemsIn
• verify_core::VerifyMemsOut
• verify_core::VerifyOut
• wire::CachedSignIn
• wire::CachedSignOut
• wire::ScalarWords
• wire::SignRequest
• wire::VerifyRequest
• wire::Words512

Enums

• frontier::Compress
• frontier::Multiplier
• frontier::VerifyMode
• microcode::AOp
• microcode::Bank
• microcode::V

Functions

• card::ed25519_card_kernel
• card::set_half
• compress_stage::compress_maps_kernel
• compress_stage::compress_stage_kernel
• compress_stage::encode_y
• config::calibrated
• config::candidates
• config::describe
• config::min_lut_percent
• config::plan
• config::plan_json
• config::structural
• config::synth_tcl
• config::useful_dsp_percent
• config::write_plan
• config::yosys_calibrated
• digest::big_sigma0
• digest::big_sigma1
• digest::digest_words
• digest::prefix_from_digest
• digest::reverse_bytes
• digest::rotr
• digest::round_constant
• digest::secret_from_digest
• digest::small_sigma0
• digest::small_sigma1
• digest::words256
• ed25519_sign_core::ed25519_sign_kernel
• export::block_hdl
• export::selected_signer_hdl
• export::selected_verifier_hdl
• export::small_signer_hdl
• export::ubft_hdl
• fe17::add255
• fe17::add_limb
• fe17::canonical255
• fe17::digits_from_limbs
• fe17::field_add_sub_kernel
• fe17::field_mul_par_kernel
• fe17::limbs_from_digits
• fe17::mul_chain7_kernel
• fe17::mul_norm_kernel
• fe17::mul_stage_kernel
• fe17::nb19_const
• fe17::nb_const
• fe17::p_minus
• fe17::times19_digit
• fe17_kara::digit_s18
• fe17_kara::field_mul_kara_kernel
• fe17_kara::kara_stage_kernel
• fe17_kara::times19_col
• frontier::before_const_rom
• frontier::best_verify_at
• frontier::frontier
• frontier::plan_sign
• frontier::plan_sign_shaped
• frontier::plan_sign_with
• frontier::plan_system
• frontier::plan_verify
• frontier::plan_verify_shaped
• frontier::plan_verify_with
• frontier::sign_cost_placed
• frontier::sign_cost_within
• frontier::sign_placement
• frontier::slimmed_costs
• frontier::verify_cost_placed
• frontier::verify_cost_within
• frontier::verify_placement
• frontier::vivado_costs
• frontier::with_mul_pub
• host::basepoint_table
• host::canonical_y
• host::decode_point
• host::digit_entries
• host::digit_offset
• host::digit_width
• host::edwards_d
• host::edwards_d2
• host::point_table
• host::recode
• host::small_order_encoding
• host::sqrt_m1
• host::table_row
• machine::const_rom_kernel
• machine::encode_bundle
• machine::field_machine_kernel
• machine::field_neg
• machine::key_tables_kernel
• machine::niels_identity
• machine::no_key
• machine::pack_digits
• machine::pack_two
• machine::placement
• machine::reg_banks_kernel
• machine::scan_mems_kernel
• machine::table_images
• microcode::concat
• microcode::interpret
• planner::sign_latency_cycles
• planner::ubft::slots
• planner::verify_latency_cycles
• programs::batch_compress
• programs::decode_candidate
• programs::digit_table
• programs::fixed_base
• programs::fixed_base_affine
• programs::table_bases
• programs::verify_known_key
• programs::verify_known_key_ordered
• scalar_ring::add_l2
• scalar_ring::add_l4
• scalar_ring::bytes_from_digits
• scalar_ring::digits17
• scalar_ring::k_times_l_low
• scalar_ring::limbs_to_w256
• scalar_ring::order_c_digits
• scalar_ring::order_l_digits
• scalar_ring::pack16
• scalar_ring::scalar_ring_kernel
• scalar_ring::sub_l4
• scalar_ring::unpack16
• scalar_ring::w256_to_digits15
• scalar_ring::widen15
• sha_client::idle_pipe_in
• sha_client::idle_pipe_out
• sha_client::sha_arbiter_kernel
• sha_client::sha_client_kernel
• sha_client::shared_sha_port_kernel
• sha_ring::pad_block_128
• sha_ring::sha512_iv
• sha_ring::sha_ring_kernel
• sign_core::challenge_block
• sign_core::challenge_second_pad
• sign_core::digest_le
• sign_core::digits15_to_words
• sign_core::encode_point
• sign_core::idle_table_write
• sign_core::nonce_block
• sign_core::ram_read
• sign_core::recode_mixed
• sign_core::scalable_sign_kernel
• sign_core::seed_block
• sign_core::sign_mems_kernel
• sign_core::widen_digits
• sign_core::words_to_digits15
• sign_core::words_to_digits31
• ubft::beat_words
• ubft::latency_kernel
• ubft::latency_word
• ubft::lowest_free
• ubft::sign_message
• ubft::ubft_ed25519_kernel
• ubft::words_beat
• verify_core::aux_programs
• verify_core::below_l
• verify_core::canonical_y
• verify_core::digit_row
• verify_core::encoding_y
• verify_core::join_digits
• verify_core::known_key_verify_kernel
• verify_core::neg_from
• verify_core::p_minus_step
• verify_core::pick_machine
• verify_core::small_order_encoding
• verify_core::split_entry
• verify_core::verify_mems_kernel

Type Aliases

• compress_stage::CpMachine
• ed25519_sign_core::Ed25519SignCoreSmall
• export::SelectedSigner
• export::SelectedVerifier
• machine::FieldMul
• machine::KeySlot
• sign_core::FbMachine
• verify_core::AuxMachine
• verify_core::VerifyMachine

Constants

• card::BURST
• card::MAGIC
• card::MSG_FIFO_BITS
• card::SIG_FIFO_BITS
• compress_stage::COMPRESS_BATCH
• compress_stage::COMPRESS_CONTEXTS
• compress_stage::COMPRESS_SLOTS
• config::CP_BATCH
• config::CP_BUNDLES
• config::CP_CONTEXTS
• config::CREDIT_OVERHEAD
• config::DESIGN_MHZ
• config::DEVICE_BRAM36
• config::DEVICE_DSP
• config::DEVICE_LUT
• config::DSP_CAP
• config::FB_BUNDLES
• config::FUSED_BUNDLES
• config::LUT_CAP
• config::SIGN_CONTEXTS
• config::UTIL_MACHINE
• config::UTIL_RING
• config::UTIL_SHA
• ed25519_sign_core::SMALL_CTX_BITS
• export::BLOCKS
• export::PROFILE
• export::VERIFY_PROFILE
• fe17::ADD_LATENCY
• fe17::MUL_LATENCY
• frontier::BASE_DSP
• frontier::BASE_LUT
• frontier::CONST_ROM_LUT
• frontier::FB_IN_CORE_LUT
• frontier::LUT_BANKS_LUT
• frontier::SHA_CLIENT_LUT
• frontier::SIGN_BUNDLES
• frontier::SMALL_SIGNER_CYCLES
• frontier::U280_BRAM36
• frontier::U280_DSP
• frontier::U280_LUT
• frontier::U280_URAM
• frontier::VERIFY_FUSED_EXTRA
• frontier::VERIFY_PER_MACHINE_LUT
• frontier::VERIFY_UTIL
• host::DIGITS
• host::L_BYTES
• host::TABLE_ROWS
• host::WIDE_DIGITS
• machine::BANK_A
• machine::BANK_I
• machine::BANK_L
• machine::BANK_M
• machine::CONST_BASE
• machine::CONST_SLOTS
• machine::KEY_SLOTS
• machine::KEY_SLOT_BITS
• machine::KEY_TABLE_BITS
• machine::LUT_MACHINES
• machine::URAM_MACHINES
• planner::LINE_BLOCK_CYCLES
• planner::MAX_CORES
• planner::SHA_ESTIMATE_MAX_LUT
• planner::SHA_ESTIMATE_MIN_LUT
• planner::SMALL_SIGNER_LATENCY
• planner::ubft::KEY_SLOTS_16_BRAM36
• planner::ubft::UBFT_WRAPPER_LUT
• programs::LOOKUP_ORDER
• sha_client::CLIENT_CREDITS
• sha_client::PIPE_LATENCY
• sign_core::CTX_BITS
• ubft::ABI_VERSION
• ubft::ARG_KEYS
• ubft::ARG_KEY_MASK
• ubft::ARG_SEED
• ubft::ARG_SIGN_COUNT
• ubft::ARG_VERIFY_COUNT
• ubft::IN_FLIGHT
• ubft::MAGIC
• ubft::REG_ABI
• ubft::REG_DONE_TICK
• ubft::REG_FAULT
• ubft::REG_KEY_TICK
• ubft::REG_MAGIC
• ubft::REG_PUBLIC_KEY
• ubft::REG_SHAPE
• ubft::REG_SIGNED
• ubft::REG_SIGN_LATENCY
• ubft::REG_SIGN_TAKEN
• ubft::REG_START_TICK
• ubft::REG_TICKS
• ubft::REG_VALID
• ubft::REG_VERIFIED
• ubft::REG_VERIFY_LATENCY
• verify_core::VERIFY_BAD_PUBLIC_KEY
• verify_core::VERIFY_BAD_R
• verify_core::VERIFY_EQUATION_FAILURE
• verify_core::VERIFY_NONCANONICAL_S
• verify_core::VERIFY_OK
• verify_core::VERIFY_SMALL_PUBLIC_KEY
• verify_core::VERIFY_SMALL_R
• verify_core::VERIFY_UNKNOWN_KEY