Raneet Debnath

Hi! Has this been or being worked on ? In case it hasn't been (or isn't being), I would like to take a stab at it, given that it's a...

The Miller `2^n-tuple-and-add` Algorithm (Algorithm 2 in the paper) defines the loop counter as `m = (ml−1...m1, m0)2^n` but its representation doesn't have to be changed does it for `n=2`...

Hey @andreicupaciu , we'll have a look at this. Also, [the fix for the panic ](https://github.com/maticnetwork/heimdall/pull/1095) is present in heimdall `v1.0.4-beta`. We will soon release a stable tag and then...

> > @marcello33 CI got failed because `cosmos-sdk` must be updated first. > > Right, thanks, that's what I mentioned [here](https://github.com/maticnetwork/heimdall/pull/1146#discussion_r1570331647) Ok will let others review the cosmos one, we...

Hello! I had a brief chat with @bobbinth about this. I believe the objective here more or less is to load the SMT leaf preimage and size onto the advice...

Does modifying `txs` : ``` message Data { repeated bytes txs = 1 [(gogoproto.nullable) = false]; repeated bytes intermediate_state_roots = 2; repeated tendermint.abci.Evidence evidence = 3; } ``` help in...

> As mentioned in Telegram > > It's important to mention in document that the paper uses a Fp2->Fp4->Fp12 towering while usually people implement Fp2->Fp6->Fp12. > > Formulas need to...

> > The paper is about cyclotomic subgroups first and foremost, and use Fp6 as an example with Fp->Fp2->Fp6 towering. You're using Fp12, so paper formulas apply in your case...

> > No, you forgot about `Fp`, completely. What matters is how Fp12 is built as a 6th degree extension. And it's built as a 6th degree extension from Fp2....

Hello! I am trying to build intuition behind calculating the cyclotomic square of an element in `Fₚ¹² `. So, if `f ∈ Fₚ¹²` f = a + bx , where...