Patrick

Jedis not honoring "spark.redis.host" configured in SparkSession builder and uses "localhost"

5

I initialized spark session like this ```scala val spark = SparkSession .builder() .appName("ExtractRawTablesFromMySQL") .config("spark.redis.host", "my-redis.url.com") .config("spark.redis.port", "6379") .getOrCreate() ``` Later when I want to save rdd to redis ```scala sc.toRedisSET(rdd,...

Eventually decided to add this function in MessageReceiverApp.sol because it need to read messagebus address

Why does your Starky SHA256 benchmark run so much faster than Plonky2?

1

Awesome work on implementing the SHA256 algo in Starky. I found [another guy's impl of SHA in Plonky2](https://github.com/polymerdao/plonky2-sha256). The proof gen time differs very wildly. Your 15 SHA proof runs...

Hi, I'm trying to read the curve points from the contribution files and use them for Plonk setup. But after digging through this repo, I got really dizzy trying to...

Solidity Export for BLS12-381?

2

**Is your feature request related to a problem? Please describe.** Now that Ethereum will have a suite of precompiles for BLS12-381 in the upcoming Pectra upgrade... **Describe the solution you'd...