Crypto Team Update

High level summary

The open fronts that the crypto team is working on are:

• Sidechains: First version of snark-based ATMS
• mithril: Full node verifier
• kes_agent: Keep progress, and prepare CIP and CPS
• CIPs and community: Finishing BLS12-381 CIP and working on a KECCAK CIP

Low level summary

kes_agent

• KES Agent CIP/CSP. Preparing documents. Will become public in the future.
• KES Agent testsuite (https://github.com/input-output-hk/kes-agent/issues/14)
• RawBearer abstraction in ouroboros-network-framework (https://github.com/input-output-hk/ouroboros-network/pull/4395)
• Maintaining required changes to cardano-base for KES Agent (https://github.com/input-output-hk/cardano-base/pull/317)

Mithril

• Final review of the implementation of Full Node Verifier #939. Included benchmarks and further tests.

Sidechains

• Schnorr signature implemented
• ATMS signature implemented
• First benchmarks show that for the committe size we expect, we need 2^21 constraints.

CIPs and community

• Addressed some review comments in #PR506
• Worked with the communityt on #PR524 to include Keccak as part of the next Plutus release.