CHIP-0011: BLS additions

freddiec · December 21, 2022, 4:40pm

This is the place to discuss CHIP11 which adds CLVM operators to increase on-chain BLS capabilities. Informal feedback and discussion of this topic is welcome here.

Formal reviews should be added to the Pull Request:

jon · December 21, 2022, 7:45pm

Are these equivalent statements?
(bls_g1_subtract 0 point1) and (blw_g1_negate point1)

d.perry · January 2, 2023, 4:49pm

No they are not. 0 is not a valid g1 point so you can’t pass it as a param.

Here is the source code for negation:

github.com

zkcrypto/bls12_381/blob/main/src/g1.rs#L103-L114


      
          impl<'a> Neg for &'a G1Affine {
              type Output = G1Affine;
          
          
    #[inline]
              fn neg(self) -> G1Affine {
                  G1Affine {
                      x: self.x,
                      y: Fp::conditional_select(&-self.y, &Fp::one(), self.infinity),
                      infinity: self.infinity,
                  }
              }
          }

And a video to visualize the process:

d.perry · January 2, 2023, 4:53pm

However, (bls_g1_subtract A A A) is equivalent to (bls_g1_negate A), but we still want a separate operator for performance reasons.

d.perry · January 12, 2023, 4:11am

We are going to have a Zoom meeting to present CHIP-11 on Jan 18 at 11 AM EST (16:00 UTC). This CHIP will add a set of new operators to the CLVM in order to support additional BLS operations. Here is a link to the CHIP:

This is a public meeting, and it will be recorded for those who can’t make it. If you would like to join, please DM me your email address and I’ll send you an invitation.

jon · January 19, 2023, 8:56pm

Thats exactly what I was trying to get at. Implementing for performance reasons makes sense, thanks Dan!

d.perry · January 20, 2023, 2:33am

Here is a video explaining the technical details of this CHIP:

Please leave your reviews in the PR, and feel free to add to the discussion in this forum.

d.perry · May 19, 2023, 12:38am

This CHIP is now in Review . Note that a few of the operators have been added, removed, and modified since the CHIP was created. Significant changes are unlikely going forward. Please take another look at the PR and leave your reviews there:

Feel free to ask questions and discuss the CHIP either in this channel or in the #chips channel on Discord.