Agnish Ghosh
Agnish Ghosh
A maintenance PR to write a few portions of barycentric precompute optimization strategy differently, along with a few cleanups and then cross testing it with a Lagrange Interpolated value from...
added verkle ipa tests to constantine.nimble
Hey, I have updated the circom_tester to the latest version. Closes https://github.com/0xPARC/circom-ecdsa/issues/28 :)
This Pull Request is related to #3 . It changes the following: - added the initial parent and leaf functions - created a sha256 trait for hashing left and right...
`Feature`: Need to integrate Cairo Assembly (CASM), this is supposed to run low-level designated AIR arithmetization schemes in a STARK environment, Starkware calls it a _built-in_ feature inside its stone-prover....
Adds support for Verkle-enabled Execution Clients following a hard fork. 2 such examples are: - [Geth](https://github.com/gballet/go-ethereum) - [Nethermind](https://github.com/NethermindEth/nethermind/tree/verkle-devnet-7) References for spec and other implementations: - https://github.com/sigp/lighthouse/issues/4042 - https://github.com/ethereum/consensus-specs/pull/3230 - https://github.com/ethereum/EIPs/pull/6800...
This branch is for parallely adding kzg/ other EIP7594 (peerDAS) specs/ tests as and when things are completed. Once things look decent enough, they are going to be merged into...
Addresses #396 , Fixes IPA consistency test, now the test returns the correct `prover_challenge` post `ipa_prove`, and then correctly verifies the same correctly as well. For reference, https://github.com/crate-crypto/verkle-trie-ref/blob/2332ab8/ipa/ipa_test.py#L38-L50. Also removed...
This pr has another fork of `nim-kzg4844`, for now, this is to essentially CI test, the new simpler bindings for `c-kzg-4844` introduced by @jtraglia In addition to that also the...