metacraft-labs/DendrETH
A smart contract implementation of the Ethereum light client sync protocol
RustGPL-3.0
Issues
- 0
Consider moving `zkllvm-metacraft-circuits` to different directory or even own repository
#321 opened by EmilIvanichkovv - 0
- 0
Create disaggregated storage for the proofs in redis
#270 opened by Dimo99 - 0
Make commitment mapper indexes be generalized indices
#267 opened by Dimo99 - 0
- 0
Make commitment mapper redis storage epoch based
#268 opened by Dimo99 - 0
- 0
- 0
Unify LightClient and RecurssiveLightClient
#242 opened by stefan-nikolov96 - 0
Migrate from eth2.0-tests to consensus-spec-tests
#240 opened by Dimo99 - 0
is_supermajority underconstrained
#232 opened by stefan-nikolov96 - 0
gitignore ignores circuit test examples
#228 opened by stefan-nikolov96 - 0
- 0
Create a prototype with Halo2 verifier for plonky2
#220 opened by Dimo99 - 0
Tests for relayer
#219 opened by stefan-nikolov96 - 0
Add Prometheus metrics for the Relay
#133 opened by zah - 0
Relayer not working with --slotsjump 1
#217 opened by stefan-nikolov96 - 0
Refresh DendrETH documentation
#210 opened by stefan-nikolov96 - 1
helpers.ts fails with yarn test
#213 opened by stefan-nikolov96 - 0
Create docker image for the discord_monitor
#209 opened by stefan-nikolov96 - 5
- 0
Recrusive proof
#192 opened by Dimo99 - 1
Develop an adapter for Hashi
#90 opened by zah - 1
- 0
Redesign relayer
#182 opened by Dimo99 - 0
Update circuits to circom 2.1.0 syntax
#150 opened by Dimo99 - 0
Use the parallel keyword in circom for our circuits
#178 opened by Dimo99 - 0
[EPIC] Implementation of Validators Balance Proof
#159 opened by Dimo99 - 0
Check the current circuits for common vulnerabilities
#146 opened by Dimo99 - 0
Create a merkle multiproof circom circuit
#162 opened by Dimo99 - 0
Validator balances circom circuit
#161 opened by Dimo99 - 0
- 0
EOS test doesn't pass in CI if it is last
#156 opened by Dimo99 - 0
- 3
Upgrade Circom compiler to the latest version
#132 opened by PetarKirov - 0
- 0
Uploading the Verifier smart contract to Cosmos's testnet `Cudos` requires specific version of the `cargo dependencies`.
#107 opened by EmilIvanichkovv - 2
Create a benchmark for evaluating the performance of the WASM implementations of the BN curve
#108 opened by zah - 0
Implement a PoC Rust verifier for Cosmos
#88 opened by zah - 0
- 0
Encountering a build error
#100 opened by mellowcroc - 1
- 1
Add a supervisor process to the relayer docker image
#85 opened by zah - 0
Develop and deploy a verifier for Polkadot
#89 opened by zah - 0
Prepare build scripts for MkBooks-based documentation
#86 opened by zah - 0
Integrate and test Picus on our circuits
#67 opened by Dimo99 - 5
make evm-simulation fails
#45 opened by RafaelAPB - 0
Setup Circom development environment
#23 opened by zah - 0
Setup risc0 development environment
#24 opened by zah - 0
Add build environment for NEAR smart contracts
#22 opened by zah