mratsim

Pairings can be used for all kinds of advanced cryptographic schemes such as Encryption (Identity-based, Attribute-based, Predicate-based, etc.), Signatures, Zero-Knowledge Proofs, etc. It is in no particular order.

PBC

Provides multiple types of Elliptic Curve groups with appropriate pairings on top of them. Code repository resides here.

License: LGPL
Language: C
Thesis: On the Implementation of Pairing-Based Cryptography by Ben Lynn (2007)

mratsim

from py_ecc import bls


privkey = int('0x47b8192d77bf871b62e87859d653922725724a5c031afeabc60bcef5ff665138', 16)
message = bytes.fromhex('0000000000000000000000000000000000000000000000000000000000000000')

sig = bls.G2ProofOfPossession.Sign(privkey, message)

print(f'message: 0x{sig.hex()}')

mratsim

# Constantine
# Copyright (c) 2018-2019    Status Research & Development GmbH
# Copyright (c) 2020-Present Mamy André-Ratsimbazafy
# Licensed and distributed under either of
#   * MIT license (license terms in the root directory or at http://opensource.org/licenses/MIT).
#   * Apache v2 license (license terms in the root directory or at http://www.apache.org/licenses/LICENSE-2.0).
# at your option. This file may not be copied, modified, or distributed except according to those terms.

# ############################################################
#

mratsim

Nimbus

- Team in Brussels
  - Running nimbus on 5 phones
    impressive reception by the community:
    https://twitter.com/m_ratsim/status/1224769743892230151

- Now using monthly sprint
  - Milestones public: https://github.com/status-im/nim-beacon-chain/milestones
  

mratsim

Agenda: https://github.com/ethereum/eth2.0-pm/issues/123

Nimbus

- Spec v0.10 implemented
  - except crypto: BLS hash_to_curve in progress and should be done this week or early next week
	  - side-note: crypto spec is nicely blending high-level goals, design rationales and implementation
	                     may be interesting for Eth2
  - Passing v0.10 test vectors
  - waiting for BLS and SSZ generic missing vectors

mratsim

cargo test test_map_to_curve_g2 --features bls381 -- --nocapture

mratsim

@Shnatsel wrote...

The following code is unsound:

https://github.com/actix/actix-net/blob/7c5fa25b23a802b27e8066caf4e01e3c2cedeb35/actix-service/src/cell.rs#L34-L36

This uses Rc::as_ref() to obtain a reference to the underlying data, which does not guarantee uniqueness. It is possible to obtain several mutable references to the same memory location by calling this function repeatedly:

let mycell = Cell::new(vec![1,2,3]);

mratsim

Agenda: https://github.com/ethereum/eth2.0-pm/issues/118

——————
Nimbus:

Holidays

Core:
  - 0.9.4 in sync
  - 0.9.3 branch kept for fuzzing purposes

mratsim

namespace TryOuts
{
    using System;
    using System.Diagnostics;
    using System.Runtime.CompilerServices;

    /// <summary>
    /// Tracker for usage of a block of 32 consecutive slots. Implemented as a 
    /// Fenwick tree with indexing optimized for queries. Encodes this 
    /// information into a long (64 bit) value, while leaving the high bit 

mratsim

namespace TryOuts
{
    using System.Linq;
    using System.Diagnostics;
    using System.Collections.Generic;

    /// <summary>
    /// Tracks usage of a block of 2^14 (16384) slots using a bitmap that 
    /// contains the 16384 used/free bit flags for each slot (taking up a 
    /// total space of 2048 bytes, accessed as an array of 512 ints), in