High level summary
The open fronts that the crypto team is working on are:
- Mithril: Started looking into full-node verifier
- cardano-base: BLS12-381's PR merged. Creating test-vectors for verifying basic pairing properties.
- KES agent: Blockers overcome. Reaching a first MVP level of the KES-agent.
- Sidechains: Included BLS12-381 & JubJub to halo2curves
- MuSig2: Final modifs to C version.
Low level summary
Mithril
- Started designing how a full-node verifier would work. Issue comming in the next couple of weeks.
cardano-base
- BLS12-381 branch merged PR#266.
- Testing strategy for BLS bindings:
- Test-vectors for Groth16, and simple BLS signatures ready.
- Test-vectors with different library, and created by different engineer.
KES agent
- Resolved issues of circular dependency
- Got rid of separate DSIGN and DSIGNM, we now have DSIGN over mlocked keys, but the phantom type is the same.
- Opened a PR for raw bearer branch in ouroboros network PR4395
- Resolved a bug where the agent node did not properly closed connections
- Updated version of IOSim allowed us to finish a first version of KES agent.