18 posts tagged with "crypto"

High level summary​

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

• cardano-base: Include final tests for BLS signature. Further adaptations for KES agent.
• Sidechains: Implement BLS and JubJub using upstream's macros to merge these curves in halo2curves.

Low level summary​

cardano-base​

• RawBearer API in ouroboros-network-framework (https://github.com/input-output-hk/ouroboros-network/pull/4395); this is needed for KES Agent. Review ongoing.
• Facilitate BLS test vectors in Haskell test suite (https://github.com/input-output-hk/cardano-base/pull/408)
• Add the SignKeyWithKES type to cardano-base (https://github.com/input-output-hk/cardano-base/pull/389)
• Restructuring and simplifying the MLocking code in cardano-base (https://github.com/input-output-hk/cardano-base/pull/404, https://github.com/input-output-hk/cardano-base/pull/405), getting rid of the purpose-built MonadMLock etc. typeclasses in the process
• Merging the DSIGN and DSIGNM APIs such that the same phantom type can be used to select both the pure and mlocked versions of the same DSIGN algorithm (https://github.com/input-output-hk/cardano-base/pull/411)
• Simplifying the KES API into a single KESAlgorithm typeclass, merging the KESSignAlgorithm class into it (this is possible due to the simplifications from #404). (Same PR as above: https://github.com/input-output-hk/cardano-base/pull/411).
• Update CIP-0381 with new plutus built-in functions, #506. In particular hash_to_curve now takes as input a secon input for the Domain Separation Tag (DST), and we limit to have a maximu size of 255 bytes.

Sidechains​

• Opened PR in halo2curves to include BLS12-381 and JubJub, #38
• Addition constraint over JubJub merged #10

High level summary​

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

• cardano-base: New KES structure finally merged. Included additional tests to BLS, and including test vectors created with zkcrypto's library.
• KES agent: Reaching state of MVP. Rewriting KES agent networking code to use the Snockets abstraction.
• Sidechains: Started implementing ECC chip of JubJub over BLS12-381.

Low level summary​

cardano-base​

• #255 finally merged 🎉
• Additional tests for BLS bindings #384
• Open PR for including test vectors created with zkscrypto's library, PR#397

KES agent​

• Introducing the SignKeyWithPeriodKES wrapper type, which bundles a KES key with its corresponding KES period PR#389.
• Introducing the DirectSerialise API into cardano-base, which allows us to write mlocked memory directly to a file descriptor, without going through intermediate encodings stored on the GHC heap (which is a no-no due to secure forgetting requirements) #317.
• Figuring out how to generalize the KES, DSIGN, and mlocking code in cardano-base such that it can run in IOSim
• Rewriting KES agent networking code to use the Snockets abstraction, which gives us a platform-independent sockets layer (i.e., it will also work on Windows), and also allows us to run networked code in IOSim for testing purposes
• Refactor MonadSodium into MonadMLock PR#388.

Sidechains​

• Started working on ECC chip for JubJub over BLS (problems still with the multiplication constraint)
• Use macros used by PSE library to try and merge our fork of halo2curves into PSE's repo

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.

Sidechains​

• Included BLS12-381 curve to our branch of halo2curves
• Included JubJub to our branch of halo2curves

MuSig2​

• Minor reorg PR#42
• Started including fuzz testing for deserialisation PR#

High level summary​

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

• Mithril: RFP finished. Code ready for audit.
• cardano-base: BLS12-381's PR approved, only blocker is Windows' CI. Preparing extensive testing strategy together with Plutus and Testing teams.
• KES agent: Working on a desing on how to use IO sim in order to allow for proper network simulation testing.
• Sidechains: Preparing proving system to use the curves needed for main-net PoC.

Low level summary​

Mithril​

• Merged PR#783
• RFP for crypto audit ready.

cardano-base​

• BLS12-381 branch approved PR#266. Blocker is Windown's CI. Working on it
• Testing strategy for BLS bindings:
  • Preparing test-vectors for Groth16, and simple BLS signatures
  • Finding community projects to help write their use cases
  • Designing AC, and expected tests for higher levels of development (Plutus team, E2E tests, etc)
• Wrote blogpost on how using the same key for ed25519 and VRF completely breaks the security of both systems

KES agent​

• Started integration of sockets interface used in consensus
• Use that for de/ser
• Resolving problems with block memory in IOSim. Can't use withForeignPtr in IOSim
• Results in having to parametrise for IOSim in KES and DSIGN for testing

Sidechains​

• Prepared an API for proof generation in sidechains, with it's C API for integration with JVM languages.
• Design document and start interacting with researchers for concrete instantiation of SNARK-based ATMS.
• EdDSA over JubJub ready

High level summary​

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

• Mithril: Updated KES crate to force user to allocate buffer of bytes for the key. Include proper testing for batch mtree opening and STM batch verify. Progressed with RFP for audit.
• cardano-base: BLS branch is now ready for review. We are workign forward its merge.
• KES agent: time off of part of the team, but in general continuing with the adaptation of the KES agent with consensus codebase.
• Sidechains: We are exploring and starting discussion on how sidechains could leverage BLS12-381 bindings for SNARKs

Low level summary​

Mithril​

• Bumped to version 0.2.0 the implementation of KES. Redesigned the representation of the secret key to allow user to allocate a buffer using mlock.
• Opened PR#783 to update dependency
• Improved testing for batch opening of mtree, PR#773
• Improved testing for batch verification of STM sigs PR#774
• RFP for crypto audit almost ready.

cardano-base​

• BLS12-381 branch finally ready for review PR#266

KES agent​

Team off for one week. Other progress:

• Learning about raw direct-bearer abstraction. An interface for sockets in consensus.
• use that for direct ser/deser
• written those syntaxes for ouroboros (coming PR)
• the kes agent will depend on that.

Sidechains​

Progress with familiarisation of Halo2 library to write circuits.