Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

EIP-1895: Support for an Elliptic Curve Cycle #1895

Merged
merged 18 commits into from
Apr 24, 2019
Merged

EIP-1895: Support for an Elliptic Curve Cycle #1895

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
8b546c3
new(EIP): draft for elliptic curve cycles
Apr 1, 2019
836609e
fix(typo): remove trailing copy-pasta
Apr 1, 2019
4abf800
typo(clean): encoding table for y
Apr 1, 2019
c4ab8cf
doc(email): Add contact by mail
Apr 1, 2019
ad0a5bd
fix(typo): Correct format for email
Apr 1, 2019
cae25c7
fix(typo): Remove duplicate header
Apr 1, 2019
bcde638
feature(eipnum): Adds EIPnum
Apr 1, 2019
6857bfb
doc(summary): Update summary
Apr 1, 2019
4d559ac
rename(1895): Rename the eip in order to pass CI
Apr 1, 2019
ba52112
feature(1895): Rename eip file
Apr 1, 2019
5adf0df
fix(typo): Adds missing s to the type
Apr 1, 2019
8719d70
fix(typo): Fix spelling mistakes and rephrases
Apr 2, 2019
c0cd65d
typo(fix): remaining grammar mistakes
Apr 2, 2019
4b74a19
typo(grammar): Fix singular
Apr 2, 2019
b93ea35
fix(reference): clean the references
Apr 2, 2019
b208467
eip(reference): Add initials to the references
Apr 2, 2019
4f47b35
fix(typo): Fix grammar
Apr 3, 2019
a5fe8ba
fix(grammar): Rephrase the simple summary
Apr 17, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
fix(reference): clean the references
  • Loading branch information
alexandre.belling committed Apr 2, 2019
commit b93ea3561d70e0c9b9b36d50e72e8960d7489be1
8 changes: 4 additions & 4 deletions EIPS/eip-1895.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
eip: 1895
title: Support for an Elliptic Curve Cycles
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'm thinking you'd want the title to either say

  • Support for Elliptic Curve Cycles
    or
  • Support for an Elliptic Curve Cycle

not

  • ...an Elliptic Curve Cycles

author: Alexandre Belling <alexandrebelling8@gmail.com>
discussions-to: https://ethresear.ch/t/reducing-the-verification-cost-of-a-snark-through-hierarchical-aggregation/5128/7
discussions-to: https://ethresear.ch/t/reducing-the-verification-cost-of-a-snark-through-hierarchical-aggregation/5128
status: Draft
type: Standards Track
category: Core
Expand Down Expand Up @@ -150,13 +150,13 @@ Proper benchmarks will be done in order to make this choice and to price the ope

## References

* [Scalable Zero Knowledge via Cycles of Elliptic Curves](https://eprint.iacr.org/2014/595.pdf)
* [On cycles of pairing-friendly elliptic curves
](https://arxiv.org/pdf/1803.02067.pdf)
* Eli-Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza, April 28, 2015,Scalable Zero Knowledge via Cycles of Elliptic Curves : https://eprint.iacr.org/2014/595.pdf
* Alessandro Chiesa, Lynn Chua, Matthew Weidner, November 5, 2018, On cycles of pairing-friendly elliptic curves : https://arxiv.org/pdf/1803.02067.pdf

## Implementation

<!--The implementations must be completed before any EIP is given status "Final", but it need not be completed before the EIP is accepted. While there is merit to the approach of reaching consensus on the specification and rationale before writing code, the principle of "rough consensus and running code" is still useful when it comes to resolving many discussions of API details.-->
AlexandreBelling marked this conversation as resolved.
Show resolved Hide resolved

* [go-boojum](https://github.com/AlexandreBelling/go-boojum) : A PoC demo of an application of recursive SNARKs
* [libff](https://github.com/scipr-lab/libff) : a C++ library for finite fields and elliptic curves
* [coda](https://github.com/CodaProtocol/coda) : a new cryptocurrency protocol with a lightweight, constant sized blockchain.
Expand Down